Shentu Chain et CertiK ont dévoilé cette semaine OpenMath, présenté comme la première plateforme mathématique DeSci au monde, ouvrant un nouveau chapitre où les mathématiques formelles, l'informatique vérifiable et la blockchain se rencontrent. Le lancement, annoncé dans un communiqué conjoint et amplifié sur les réseaux sociaux, positionne OpenMath comme un espace où les chercheurs et les "prouveurs" peuvent soulever, collaborer et vérifier des problèmes mathématiques avec des solutions enregistrées de manière immuable on-chain. Au cœur d'OpenMath se trouve la vérification formelle : les preuves et solutions soumises à la plateforme sont vérifiées à l'aide de technologies d'assistants de preuve, de sorte que l'exactitude puisse être mécaniquement vérifiée plutôt que laissée à une évaluation par les pairs informelle. Les documents de Shentu décrivent le système comme intégrant des outils formels bien connus tels que Coq et Lean dans un flux de travail natif de la blockchain, permettant aux théorèmes et à leurs preuves vérifiées par machine d'être référencés, validés et préservés sur le registre. Un foyer naturel pour DeSci OpenMath est déployé sur Shentu Chain, une Layer-1 axée sur la sécurité qui trouve ses racines dans CertiK et la communauté de recherche en vérification formelle. La chaîne elle-même, rebaptisée Shentu en 2021 après avoir été incubée par CertiK, a été développée avec un accent explicite sur l'informatique vérifiable et les outils de sécurité on-chain, ce qui en fait un foyer naturel pour une expérience DeSci construite autour de la vérité mathématique. Les architectes de la plateforme affirment qu'OpenMath a été conçu en tenant compte de la collaboration et de la protection de la propriété intellectuelle : un processus de soumission en deux phases protège le travail des prouveurs tout en permettant à la communauté mondiale de participer, valider et s'appuyer sur des résultats vérifiés. En enregistrant la provenance, la révision et les étapes de vérification on-chain, OpenMath vise à éliminer les goulots d'étranglement institutionnels traditionnels, à assurer un crédit équitable aux contributeurs et à accélérer le rythme auquel les connaissances mathématiques rigoureuses deviennent découvrables et réutilisables. Le lancement d'OpenMath intervient alors que la Science Décentralisée, ou DeSci, gagne en popularité en tant qu'approche pour démocratiser la façon dont la recherche est financée, publiée et validée. Les défenseurs soutiennent que les réseaux décentralisés peuvent élargir l'accès, diversifier les mécanismes de financement et rendre les processus de validation plus transparents, des objectifs qu'OpenMath reflète explicitement en combinant un accès ouvert aux résultats vérifiés avec une traçabilité on-chain. Shentu Chain et CertiK ont présenté cette sortie comme la continuation d'une mission commune visant à appliquer la blockchain et la vérification formelle à un "impact réel", et ils affirment que d'autres expansions sont prévues pour permettre aux chercheurs de s'attaquer à des problèmes de plus en plus avancés et d'élargir les incitations au sein de l'écosystème OpenMath. Pour l'instant, le site et la plateforme sont opérationnels, invitant les mathématiciens, les chercheurs en méthodes formelles et la communauté DeSci plus large à explorer ce nouvel environnement où la vérité mathématique devient un bien public vérifiable et référençable.Shentu Chain et CertiK ont dévoilé cette semaine OpenMath, présenté comme la première plateforme mathématique DeSci au monde, ouvrant un nouveau chapitre où les mathématiques formelles, l'informatique vérifiable et la blockchain se rencontrent. Le lancement, annoncé dans un communiqué conjoint et amplifié sur les réseaux sociaux, positionne OpenMath comme un espace où les chercheurs et les "prouveurs" peuvent soulever, collaborer et vérifier des problèmes mathématiques avec des solutions enregistrées de manière immuable on-chain. Au cœur d'OpenMath se trouve la vérification formelle : les preuves et solutions soumises à la plateforme sont vérifiées à l'aide de technologies d'assistants de preuve, de sorte que l'exactitude puisse être mécaniquement vérifiée plutôt que laissée à une évaluation par les pairs informelle. Les documents de Shentu décrivent le système comme intégrant des outils formels bien connus tels que Coq et Lean dans un flux de travail natif de la blockchain, permettant aux théorèmes et à leurs preuves vérifiées par machine d'être référencés, validés et préservés sur le registre. Un foyer naturel pour DeSci OpenMath est déployé sur Shentu Chain, une Layer-1 axée sur la sécurité qui trouve ses racines dans CertiK et la communauté de recherche en vérification formelle. La chaîne elle-même, rebaptisée Shentu en 2021 après avoir été incubée par CertiK, a été développée avec un accent explicite sur l'informatique vérifiable et les outils de sécurité on-chain, ce qui en fait un foyer naturel pour une expérience DeSci construite autour de la vérité mathématique. Les architectes de la plateforme affirment qu'OpenMath a été conçu en tenant compte de la collaboration et de la protection de la propriété intellectuelle : un processus de soumission en deux phases protège le travail des prouveurs tout en permettant à la communauté mondiale de participer, valider et s'appuyer sur des résultats vérifiés. En enregistrant la provenance, la révision et les étapes de vérification on-chain, OpenMath vise à éliminer les goulots d'étranglement institutionnels traditionnels, à assurer un crédit équitable aux contributeurs et à accélérer le rythme auquel les connaissances mathématiques rigoureuses deviennent découvrables et réutilisables. Le lancement d'OpenMath intervient alors que la Science Décentralisée, ou DeSci, gagne en popularité en tant qu'approche pour démocratiser la façon dont la recherche est financée, publiée et validée. Les défenseurs soutiennent que les réseaux décentralisés peuvent élargir l'accès, diversifier les mécanismes de financement et rendre les processus de validation plus transparents, des objectifs qu'OpenMath reflète explicitement en combinant un accès ouvert aux résultats vérifiés avec une traçabilité on-chain. Shentu Chain et CertiK ont présenté cette sortie comme la continuation d'une mission commune visant à appliquer la blockchain et la vérification formelle à un "impact réel", et ils affirment que d'autres expansions sont prévues pour permettre aux chercheurs de s'attaquer à des problèmes de plus en plus avancés et d'élargir les incitations au sein de l'écosystème OpenMath. Pour l'instant, le site et la plateforme sont opérationnels, invitant les mathématiciens, les chercheurs en méthodes formelles et la communauté DeSci plus large à explorer ce nouvel environnement où la vérité mathématique devient un bien public vérifiable et référençable.