Un nuevo sistema llamado MetaGenesis Core busca revolucionar la verificación de resultados computacionales, un problema crítico en campos como la ciencia, la simulación, el aprendizaje automático y la gestión de riesgos. Actualmente, la verificación independiente de estos resultados depende de la confianza o la recreación completa, un proceso costoso e ineficiente. MetaGenesis Core encapsula los resultados en un paquete 'tamper-evident' con dos capas de verificación: integridad criptográfica y una comprobación de invariantes semánticos. Un tercero puede verificar estos resultados offline con un solo comando, sin acceso al modelo original ni al entorno de cálculo. El sistema, desarrollado por Yehor Bazhynov, ancla la verificación a la realidad física siempre que es posible (por ejemplo, utilizando constantes físicas como el módulo de Young del aluminio), ofreciendo una 'certificación de conformidad' para la computación. La herramienta, que ha pasado 107 pruebas y verifica 8 reclamaciones, ya se aplica a diversas áreas, desde la simulación de materiales hasta la gestión de riesgos financieros, y busca facilitar la auditoría, el cumplimiento normativo y la revisión por parte de terceros. El proyecto, de código abierto, aspira a establecer un estándar para la verificación independiente de resultados computacionales, abordando la creciente necesidad de transparencia y auditabilidad en un mundo impulsado por datos y simulaciones.
Noticias agregadas con IA