Anthropic's AI Completes Formalization of Fermat's Last Theorem in 11 Days

13 septembre 20263 min de lecture

Contenu réécrit par une IA à partir de sources de presseComment ça marche

Anthropic's AI completed Fermat's Last Theorem proof in 11 days, creating a 13 million-line code version.

Cette story est encore en cours de traduction en Français. Revenez recharger la page plus tard, ou lisez-la en anglais dès maintenant.

aimathematicsfermatformalizationanthropicproof

Sources d'origine :