AI Claude formalizes Fermat's Last Theorem in eleven days

The AI model Claude generated thirteen million lines of code to prove Fermat's Last Theorem.

Published 2h1 sourceNotable

≈ 19sSpeed

The fact

This technical feat was achieved in eleven days, an unprecedented achievement for an AI.

No human mathematician had yet succeeded in this numerical formalization.

Click the link to read an article on the topic:

Explore this topic

Auto-synthesis from 1 media source · identified on September 8, 2026