Lean
1 publications récentes trouvées
6 septembre 2026
15:14Mako
Intelligence Artificielle
L'IA Claude d'Anthropic formalise le théorème de Fermat en 13 millions de lignes
L'IA Claude d'Anthropic a formalisé le dernier théorème de Fermat en 11 jours, générant une preuve de 13 millions de lignes de code en Lean. Ce travail colossal a été publié sur GitHub pour vérification.
Affichage des 50 derniers articles pour ce sujet