Anthropic Says Claude Completed an 11-Day Lean Proof of Fermat’s Last Theorem
Sign in✓ Signed in
Anthropic says Claude worked largely autonomously for 11 days to produce a complete, computer-checked formal proof of Fermat’s Last Theorem in Lean—a claim that, if independently validated, would mark a significant advance for AI-assisted mathematics.
Continue reading
The rest of this article is for AI News Blitz readers. Choose an option below to keep reading.
Already purchased? Sign in✓ Signed in — this article isn’t included in your current plan.
Unlocking the full article...