Anthropic's Claude Formally Proved Fermat's Last Theorem in 11 Days

This story is from 2026-09-04. It is preserved in the archive; the latest stories are on the live feed.

Claude autonomously wrote a 13 million line Lean proof of Fermat's Last Theorem in 11 days, verifying 29,500 supporting theorems along the way.

Read the full story at AlphaSignal ↗

Timeline · 1 report

2026-09-04 18:50 · AlphaSignal
Anthropic's Claude Formally Proved Fermat's Last Theorem in 11 Days

More stories

AI's role in building AI surging? Anthropic says Claude now leads 26% of its R&D — Mint AI
Claude, Anthropic’s AI model, is helping to develop the next version of itself — Fast Company AI
AI skills — r/AI_Agents
we made a 27b model for creative writing. performs as good as claude fable 5, at a 40x cheaper price, open weights. — r/GeminiAI
Anthropic selects Accenture as first embedded evaluator to help implement Amodei's slowdown proposal — CNBC Technology
Bolt Adds DeepSeek V4.1 Flash at 10x Cheaper Than V4 Pro — AlphaSignal
OpenAI ‘ethically hacked’ with help of Anthropic’s Claude chatbot — The Guardian AI
How To Use Ai and create those videos — r/aivideo

Get the daily brief of stories like this at 6:30 every morning →