Axiom Math verifica el proyecto Stacks con 16 millones de líneas de código de IA
Axiom Math anunció el miércoles que había verificado formalmente el Stacks Project, uno de los corpus matemáticos más grandes jamás escritos por seres humanos. La startup, valorada en 1600 millones de dólares, convirtió las aproximadamente 7.654 páginas de la biblioteca en unos 16 millones de líneas de código verificadas por ordenador, utilizando una flota de agentes de IA. La empresa aspira a construir unos cimientos verificados en los que los agentes de IA puedan confiar para escribir software
GateAiHorizon·11-05 16:21
