←Back to NewsAI News/ReasoningnewsReasoningBenchmarksAnthropic's Claude Formally Proved Fermat's Last Theorem in 11 DaysClaude autonomously wrote a 13 million line Lean proof of Fermat's Last Theorem in 11 days, verifying 29,500 supporting theorems along the way.SourceAnthropicPublishedSep 4, 2026, 6:50 PMAuthorAlphaSignal NewsroomRead1 min readClaude autonomously wrote a 13 million line Lean proof of Fermat's Last Theorem in 11 days, verifying 29,500 supporting theorems along the way.Reporting is indexed from AlphaSignal. Rights remain with the original publisher and cited sources.Read original report ↗Next readsEpoch AI · newsGPT-6 Astra Cracks a Decade-Old Voting Theory Problem Nobody Could SolveVals AI · newsVals AI's MysteryMechanism Benchmark Tests If AI Can Rediscover 222 Scientific LawsEpoch AI · newsOpenAI's GPT-6 Astra Cracks Epoch's Hardest Math Benchmark in 14 Months
