AIDecryptabout 2 hours ago
Claude Solves 350-Year-Old Math Problem
1 min read
Anthropic's Claude spent 11 days turning Fermat's Last Theorem into 13 million lines of code a computer can check itself, no human trust required. The proof is the longest ever written, marking a milestone in AI-driven mathematics.
Level
Hype check
Tap to vote and see what everyone thinks.
In this storyAnthropic
