Shentu Chain, en colaboración con CertiK, ha lanzado OpenMath, la primera plataforma de ciencia descentralizada (DeSci) centrada en las matemáticas. Esta innovadora plataforma permite a los usuarios proponer y resolver problemas matemáticos, aprovechando la tecnología de verificación formal Rocq para garantizar la validación lógica. Los participantes que verifiquen con éxito las soluciones recibirán recompensas en tokens, fomentando la transparencia e incentivando la colaboración. OpenMath está desplegado en Shentu Chain, que fue fundada inicialmente por profesores de la Universidad de Yale y ha estado operando de manera independiente desde 2021. Este lanzamiento representa una asociación estratégica entre Shentu y CertiK, con el objetivo de integrar la tecnología blockchain y la verificación formal en aplicaciones matemáticas.