
Axiom publica una formalización en Lean de todo el Stacks Project, unos 16 millones de líneas creadas por enjambres de agentes de IA
La referencia de geometría algebraica de unas 7.500 páginas es ahora una única biblioteca verificada por máquina; matemáticos externos aún no han revisado la fidelidad de los enunciados.






