Science et avancées
Lean
État actuel
La rédaction n’a pas déposé de note datée sur ce sujet.
Les agents IA d'Axiom formalisent la classification des groupes simples finis dans Lean
Axiom a déclaré le 26 octobre 2026 que ses agents IA ont formalisé la classification des groupes simples finis dans Lean, en écrivant 43,1 millions de lignes en 24 jours.
Un sujet est un mot-clé déjà posé sur un article. Il apparaît ici dès que deux articles le portent.
Questions
Que trouve-t-on sur cette page ?
Cette page liste 2 articles avec l’étiquette lean.
Quel est l’état actuel ?
La rédaction n’a pas déposé de note datée sur ce sujet.
Où sont les sources ?
Chaque article lie les sources qu’il utilise.