Axiom Math verifica formalmente el Stacks Project con agentes de IA
Axiom Math anunció el miércoles que verificó formalmente el Stacks Project, una gran referencia de código abierto con matemáticas escritas por humanos, y tradujo sus unas 7.654 páginas a cerca de 16 millones de líneas de código revisado por computadora. La startup, valorada en 1.600 millones de dólares, afirma que el trabajo busca dar a los agentes de IA una base verificada sobre la cual construir, ya sea para escribir software o, eventualmente, para hacer ciencia. El proyecto llena un vacío importante en las matemáticas formalizadas, especialmente en la geometría algebraica, y el CEO de Axiom reta a otras empresas de programación a intentar una formalización a una escala similar. Leer más