Claude generates computer-verified proof for Fermat's Last Theorem
Anthropic has published a computer-verified proof of Fermat's Last Theorem. The AI model Claude generated the proof in the programming language Lean over eleven days of autonomous work.
What happened?
Anthropic has published what is described as the first complete computer-verified proof of Fermat's Last Theorem. The AI model Claude worked largely autonomously for 11 days to write the proof in the Lean programming language. The proof builds on mathematician Sir Andrew Wiles' historical paper proof from 1995.
Key facts
| AI-modell | Claude |
|---|---|
| Programmeringsspråk | Lean |
| Tidsåtgång | 11 dagar |
| Publiceringsdatum | 4 september 2026 |
”We are sharing the first complete computer-checked proof of Fermat’s Last Theorem. Claude worked largely autonomously over 11 days to write the proof in the Lean programming language.”
Why it matters
Translating a 129-page complex mathematical proof into code that a computer can verify has previously required years of manual effort by mathematical experts. The fact that an AI model has been able to perform the majority of the formalisation in little more than a week marks a clear advancement in automated research and computational mathematics.
Who is affected?
The news primarily concerns researchers in mathematics, computer science, and AI development. Developers working with automated theorem proving and formal verification now have a new reference case for how large-scale reasoning capabilities can be applied.
Impact on the EU
The work is not directly affected by EU-specific AI regulations such as the EU AI Act, but is being made available globally as open source. This means that researchers and mathematicians within the EU can freely review and use the proof.
What else you should know
The foundational work is based on the formal mathematics within the Lean environment and has been shared publicly by Anthropic for further review by the mathematical community.
Quick answers about this story
Vad har hänt?
När hände det?
Varför spelar det roll?
Vilka berörs av detta?
The link opens in a new window and leads to the publisher's own site.
Källan har spårats automatiskt från utgivaren via Aheadlines signalkedja.
AI-verktyg i artikeln
Topics
Get similar news straight to your inbox
The reader's room
Send in a question or an addition. The newsroom reads everything before it's published and replies when relevant. No AI-generated text – just people.
Sign in to submit a comment or question.
Read the article through your role
- Decide whether this affects strategy over 6–12 months or is just noise.
- Discuss with leadership: do we own the right question or does ownership need to move?
- Ask: what risk are we taking by NOT acting on this this quarter?
Generated angle — not editorial analysis of "Claude generates computer-verified proof for Fermat's Last T"