Recherche
Axiom affirme que des essaims d'agents IA ont formalisé en Lean la classification des groupes simples finis en 24 jours
Axiom Math a publié ce qu'elle présente comme la première preuve entièrement vérifiée par ordinateur de la classification des groupes simples finis : environ 43,1 millions de lignes de Lean produites en 24 jours par des …