OpenMath está online, a cadeia Shentu e a Certi juntam-se para criar a primeira plataforma DeSci na área das matemáticas.

Notícias da币界网 de 13 de outubro, a Shentu链 anunciou hoje o lançamento oficial da primeira plataforma DeSci focada na área matemática, a OpenMath. Esta plataforma foi desenvolvida em parceria estratégica entre a Shentu链 e a CertiK, a maior empresa de segurança Web3 do mundo e líder no campo da Verificação formal. A OpenMath se dedica a construir um ecossistema DeSci centrado na "verdade matemática verificável", onde pesquisadores e validadores podem colaborar para propor e resolver problemas matemáticos, e realizar validação lógica por meio da tecnologia de Verificação formal baseada no Rocq, garantindo a rigorosidade e precisão do raciocínio com precisão matemática. Os participantes que concluírem com sucesso a validação receberão recompensas em Token, realizando uma combinação eficaz de transparência no processo de pesquisa e mecanismos de incentivo. Segundo a币界网, a OpenMath é implantada na Shentu链, que anteriormente era a CertiK链, incubada pessoalmente pelos professores Zhao Zhong e Gu Ronghui da Universidade de Yale. Em agosto de 2021, a Shentu se desvinculou oficialmente da CertiK, operando de forma independente como uma entidade autônoma. O lançamento da OpenMath é uma exploração conjunta das duas partes sobre a aplicação de Blockchain e Verificação formal em cenários matemáticos, com base em uma nova relação de parceria.