According to Bijie.com on October 13th, Shentu Chain announced the official launch of OpenMath, the world's first DeSci platform focused on mathematics. The platform was developed in a strategic partnership between Shentu Chain and CertiK, the world's largest Web3 security company and a leader in formal verification. OpenMath is dedicated to building a DeSci ecosystem centered on "verifiable mathematical truth." Researchers and verifiers can collaboratively propose and solve mathematical problems, and then perform logical verification using Rocq-based formal verification technology, ensuring rigorous and accurate reasoning with mathematical precision. Participants who successfully complete verification will receive token rewards, effectively combining transparency in the research process with an effective incentive mechanism. According to Bijie.com, OpenMath is deployed on Shentu Chain, formerly known as CertiK Chain, which was incubated by Yale University Professors Zhong Shao and Ronghui Gu. In August 2021, Shentu officially separated from CertiK and operates independently. The launch of OpenMath is a joint exploration of the application of blockchain and formal verification in mathematical scenarios based on the new partnership between the two parties.