Shentu Chain y CertiK presentaron esta semana OpenMath, anunciada como la primera plataforma matemática DeSci del mundo, abriendo un nuevo capítulo donde las matemáticas formales, la computación verificable y la blockchain se encuentran. El lanzamiento, anunciado en un comunicado conjunto y amplificado a través de canales sociales, posiciona a OpenMath como un espacio donde investigadores y "verificadores" pueden plantear, colaborar y verificar problemas matemáticos con soluciones registradas inmutablemente en cadena. En el corazón de OpenMath está la verificación formal: las pruebas y soluciones enviadas a la plataforma se comprueban utilizando tecnología de asistencia de pruebas para que la corrección pueda ser verificada mecánicamente en lugar de dejarse a una revisión por pares informal. Los materiales de Shentu describen el sistema como la integración de herramientas formales conocidas como Coq y Lean en un flujo de trabajo nativo de blockchain, permitiendo que los teoremas y sus pruebas verificadas por máquina sean referenciadas, validadas y preservadas en el ledger. Un Hogar Natural para DeSci OpenMath está implementado en Shentu Chain, una Layer-1 enfocada en seguridad que tiene sus raíces en CertiK y la comunidad de investigación de verificación formal. La chain en sí, rebautizada como Shentu en 2021 después de incubarse fuera de CertiK, fue desarrollada con un enfoque explícito en computación verificable y herramientas de seguridad en cadena, convirtiéndola en un hogar natural para un experimento DeSci construido alrededor de la verdad matemática. Los arquitectos de la plataforma dicen que OpenMath fue diseñado teniendo en mente la colaboración y la protección de la propiedad intelectual: un proceso de envío de dos fases protege el trabajo de los verificadores mientras permite que la comunidad global participe, valide y construya sobre resultados verificados. Al registrar la procedencia, revisión y pasos de verificación en cadena, OpenMath busca eliminar los cuellos de botella institucionales tradicionales, asegurar un crédito justo para los contribuyentes y acelerar el ritmo al que el conocimiento matemático riguroso se vuelve descubrible y reutilizable. El lanzamiento de OpenMath llega mientras la Ciencia Descentralizada, o DeSci, gana impulso como un enfoque para democratizar cómo se financia, publica y valida la investigación. Los defensores argumentan que las redes descentralizadas pueden expandir el acceso, diversificar los mecanismos de financiamiento 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 trazabilidad en cadena. Shentu Chain y CertiK enmarcaron el lanzamiento como la continuación de una misión compartida para aplicar blockchain y verificación formal al "impacto en el mundo real", y dicen que se planean más expansiones para permitir que los investigadores aborden problemas cada vez más avanzados y amplíen los incentivos dentro del ecosistema OpenMath. Por ahora, el sitio y la plataforma están activos, invitando a matemáticos, investigadores de métodos formales y a la comunidad DeSci más amplia a explorar el nuevo entorno donde la verdad matemática se convierte en un bien público verificable y referenciable.Shentu Chain y CertiK presentaron esta semana OpenMath, anunciada como la primera plataforma matemática DeSci del mundo, abriendo un nuevo capítulo donde las matemáticas formales, la computación verificable y la blockchain se encuentran. El lanzamiento, anunciado en un comunicado conjunto y amplificado a través de canales sociales, posiciona a OpenMath como un espacio donde investigadores y "verificadores" pueden plantear, colaborar y verificar problemas matemáticos con soluciones registradas inmutablemente en cadena. En el corazón de OpenMath está la verificación formal: las pruebas y soluciones enviadas a la plataforma se comprueban utilizando tecnología de asistencia de pruebas para que la corrección pueda ser verificada mecánicamente en lugar de dejarse a una revisión por pares informal. Los materiales de Shentu describen el sistema como la integración de herramientas formales conocidas como Coq y Lean en un flujo de trabajo nativo de blockchain, permitiendo que los teoremas y sus pruebas verificadas por máquina sean referenciadas, validadas y preservadas en el ledger. Un Hogar Natural para DeSci OpenMath está implementado en Shentu Chain, una Layer-1 enfocada en seguridad que tiene sus raíces en CertiK y la comunidad de investigación de verificación formal. La chain en sí, rebautizada como Shentu en 2021 después de incubarse fuera de CertiK, fue desarrollada con un enfoque explícito en computación verificable y herramientas de seguridad en cadena, convirtiéndola en un hogar natural para un experimento DeSci construido alrededor de la verdad matemática. Los arquitectos de la plataforma dicen que OpenMath fue diseñado teniendo en mente la colaboración y la protección de la propiedad intelectual: un proceso de envío de dos fases protege el trabajo de los verificadores mientras permite que la comunidad global participe, valide y construya sobre resultados verificados. Al registrar la procedencia, revisión y pasos de verificación en cadena, OpenMath busca eliminar los cuellos de botella institucionales tradicionales, asegurar un crédito justo para los contribuyentes y acelerar el ritmo al que el conocimiento matemático riguroso se vuelve descubrible y reutilizable. El lanzamiento de OpenMath llega mientras la Ciencia Descentralizada, o DeSci, gana impulso como un enfoque para democratizar cómo se financia, publica y valida la investigación. Los defensores argumentan que las redes descentralizadas pueden expandir el acceso, diversificar los mecanismos de financiamiento 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 trazabilidad en cadena. Shentu Chain y CertiK enmarcaron el lanzamiento como la continuación de una misión compartida para aplicar blockchain y verificación formal al "impacto en el mundo real", y dicen que se planean más expansiones para permitir que los investigadores aborden problemas cada vez más avanzados y amplíen los incentivos dentro del ecosistema OpenMath. Por ahora, el sitio y la plataforma están activos, invitando a matemáticos, investigadores de métodos formales y a la comunidad DeSci más amplia a explorar el nuevo entorno donde la verdad matemática se convierte en un bien público verificable y referenciable.