A Shentu Chain, em colaboração com a CertiK, lançou o OpenMath, a primeira plataforma de ciência descentralizada (DeSci) focada em matemática. Esta plataforma inovadora permite que os usuários proponham e resolvam problemas matemáticos, utilizando a tecnologia de verificação formal Rocq para garantir a validação lógica. Participantes que verificarem com sucesso as soluções receberão recompensas em tokens, promovendo transparência e incentivando a colaboração. O OpenMath está implementado na Shentu Chain, que foi inicialmente fundada por professores da Universidade de Yale e opera de forma independente desde 2021. Este lançamento representa uma parceria estratégica entre a Shentu e a CertiK, com o objetivo de integrar a tecnologia blockchain e a verificação formal em aplicações matemáticas.