OpenMath launches as the first DeSci platform for mathematics through collaboration between Shentu Chain and CertiK

Shentu Chain and CertiK officially launched OpenMath, the world’s first DeSci platform for mathematics, on October 13th.

Researchers can propose and verify mathematical problems using Rocq-based formal verification technology, ensuring accuracy and rigor.

Participants who verify their work receive token rewards, fostering a transparent and collaborative research environment.