Shentu Chain y CertiK presentaron esta semana OpenMath, considerada la primera plataforma matemática DeSci del mundo, abriendo un nuevo capítulo donde se encuentran las matemáticas formales, la informática verificable y la cadena de bloques. El lanzamiento, anunciado en un comunicado conjunto y amplificado a través de los canales sociales, posiciona a OpenMath como un espacio donde los investigadores y “probadores” pueden plantear, colaborar y verificar problemas matemáticos con soluciones registradas de forma inmutable en la cadena.
En el corazón de OpenMath está la verificación formal: las pruebas y soluciones enviadas a la plataforma se verifican utilizando tecnología de asistente de pruebas para que la corrección pueda verificarse mecánicamente en lugar de dejarse a una revisión informal por pares. Los materiales de Shentu describen que el sistema integra herramientas formales conocidas como Coq y Lean en un flujo de trabajo nativo de blockchain, lo que permite hacer referencia a los teoremas y sus pruebas verificadas por máquina, validarlos y preservarlos en el libro mayor.
Un hogar natural para DeSci
OpenMath se implementa en Shentu Chain, una Capa 1 centrada en la seguridad que tiene sus raíces en CertiK y la comunidad de investigación de verificación formal. La cadena en sí, rebautizada como Shentu en 2021 después de su incubación a partir de CertiK, se desarrolló con un enfoque explícito en informática verificable y herramientas de seguridad en cadena, lo que la convierte en un hogar natural para un experimento de DeSci construido en torno a la verdad matemática.
Los arquitectos de la plataforma dicen que OpenMath fue diseñado teniendo en cuenta la colaboración y la protección de la propiedad intelectual: un proceso de presentación de dos fases protege el trabajo de los probadores y al mismo tiempo permite que la comunidad global participe, valide y desarrolle resultados verificados. Al registrar los pasos de procedencia, revisión y verificación en cadena, OpenMath tiene como objetivo eliminar los cuellos de botella institucionales tradicionales, garantizar un crédito justo para los contribuyentes y acelerar el ritmo al que el conocimiento matemático riguroso se vuelve detectable y reutilizable.
El lanzamiento de OpenMath se produce cuando la ciencia descentralizada, o DeSci, gana impulso como enfoque para democratizar la forma en que se financia, publica y valida la investigación. Los defensores argumentan que las redes descentralizadas pueden ampliar el acceso, diversificar los mecanismos de financiación y hacer que los procesos de validación sean más transparentes, objetivos que OpenMath refleja explícitamente al combinar el acceso abierto a resultados verificados con la trazabilidad en cadena.
Shentu Chain y CertiK enmarcaron el lanzamiento como la continuación de una misión compartida para aplicar blockchain y la verificación formal al “impacto en el mundo real”, y dicen que se planean más expansiones para permitir a los investigadores abordar problemas cada vez más avanzados y ampliar los incentivos dentro del ecosistema OpenMath. Por ahora, el sitio y la plataforma están activos e invitan a matemáticos, investigadores de métodos formales y a la comunidad DeSci en general a explorar el nuevo entorno donde la verdad matemática se convierte en un bien público verificable y referenciable.