AI Claude formalizes the proof of Fermat's Last Theorem in eleven days

Anthropic's agent translated a complex mathematical proof into a programming language.

Published 4h1 sourceImportant

≈ 19sSpeed

The fact

This breakthrough enables automatic verification and opens new avenues for validating results.

Fermat's Last Theorem, solved in 1994, is now accessible for algorithmic verification.

Click the link to read an article on the topic:

Explore this topic

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