OpenMath se lanza, la cadena Shentu y Certi se unen para crear la primera plataforma DeSci en el campo de las matemáticas.

El 13 de octubre, la plataforma de noticias de la moneda, informó que la cadena Shentu anunció hoy el lanzamiento oficial de OpenMath, la primera plataforma DeSci centrada en el campo de las matemáticas a nivel mundial. Esta plataforma fue desarrollada en colaboración estratégica entre la cadena Shentu y CertiK, la mayor empresa de seguridad Web3 a nivel mundial y líder en el ámbito de la verificación formal. OpenMath se dedica a construir un ecosistema DeSci centrado en "verdades matemáticas verificables", donde investigadores y validadores pueden colaborar para plantear y resolver problemas matemáticos, y realizar verificaciones lógicas mediante la técnica de verificación formal basada en Rocq, asegurando rigor y precisión en el razonamiento con una precisión nivel matemático. Los participantes que completen con éxito la verificación recibirán recompensas en tokens, logrando una combinación efectiva de transparencia en el proceso de investigación y mecanismos de incentivos. Según la plataforma de noticias de la moneda, OpenMath se despliega en la cadena Shentu, que anteriormente era la cadena CertiK, incubada por el profesor Shao Zhong de la Universidad de Yale y el profesor Gu Ronghui. En agosto de 2021, Shentu se separó oficialmente de CertiK y opera de manera independiente como una entidad autónoma. El lanzamiento de OpenMath es una exploración conjunta de ambas partes sobre la aplicación de la cadena de bloques y la verificación formal en el escenario matemático, basada en una nueva relación de colaboración.