
Axiom publie une formalisation en Lean de tout le Stacks Project, environ 16 millions de lignes produites par des essaims d'agents IA
La référence de géométrie algébrique d'environ 7 500 pages devient une bibliothèque unique vérifiée par machine ; des mathématiciens extérieurs n'ont pas encore jugé la fidélité des énoncés.






