Anthropic publie une preuve du dernier théorème de Fermat en Lean 4 écrite par des agents d'IA et vérifiée par deux noyaux
Le 4 septembre 2026, Anthropic a mis en ligne sous licence Apache 2.0 un dépôt contenant une preuve complète du dernier théorème de Fermat en Lean 4, vérifiée par machine. Le dépôt compte 60 475… Lire la brève