OpenMath正式上线，Shentu、CertiK联合布局Desci板块

纽约, Oct. 13, 2025 (GLOBE NEWSWIRE) -- Shentu 链宣布正式推出OpenMath平台，这是全球首个聚焦数学领域的去中心化科学（DeSci）平台。该平台由 Shentu 链 与 CertiK 联合研发，CertiK作为全球最大的 Web3 安全公司与形式化验证领域的国际领军者，为该平台提供数学领域的技术支持。 OpenMath 为研究者与证明者提供了协作提出、解决数学问题的功能，并借助基于 Rocq 的形式化验证技术，对结果进行逻辑验证，以数学级的精度确保推理的严谨与准确。此外，平台为证明者提供代币奖励，在研究过程中同时实现了透明度提升与激励机制对齐。 OpenMath 部署于 Shentu 链，这是一条基于 Cosmos 构建的 Layer 1 区块链，前身为 CertiK 链，由耶鲁大学邵中教授与哥伦比亚大学顾荣辉教授个人孵化。2021 年 8 月，Shentu 正式脱离 CertiK，作为独立实体自主运营。此次OpenMath上线，是双方基于全新合作伙伴关系，对区块链与形式化验证在数学场景中应用的共同探索。 值得注意的是，OpenMath 平台推出节点，正处于DeS ...