AITechRadarabout 2 hours ago
Anthropic's Claude Formalizes Fermat's Proof in 11 Days
1 min read
Anthropic used its Claude AI to produce a fully computer-checked version of Fermat's Last Theorem. The company expected the task to take years, but its internal research model completed the formalization in 11 days of largely unsupervised work. The finished proof consists of 13 million lines of Lean code, proving roughly 30,300 separate theorems.
Level
Hype check
Tap to vote and see what everyone thinks.
In this storyAnthropic
