Shentu Chain, in collaboration with CertiK, has launched OpenMath, the first decentralized science (DeSci) platform focused on mathematics. This innovative platform allows users to propose and solve mathematical problems, leveraging Rocq formal verification technology to ensure logical validation. Participants who successfully verify solutions will earn token rewards, fostering transparency and incentivizing collaboration. OpenMath is deployed on Shentu Chain, which was initially founded by Yale University professors and has been operating independently since 2021. This launch signifies a strategic partnership between Shentu and CertiK, aiming to integrate blockchain technology and formal verification into mathematical applications.