AI Just Solved a 350-Year-Old Math Problem By Writing the Longest Proof Ever
60-second summary
Anthropic's AI Claude spends eleven days generating a 13‑million‑line proof for Fermat's Last Theorem, the longest computer‑verified proof ever. The system writes code that checks itself without human oversight, demonstrating autonomous mathematical reasoning. This breakthrough showcases AI’s potential to tackle complex, unsolved problems, likely accelerating research pipelines and attracting increased investment in AI‑driven scientific discovery.
Anthropic says Claude spent 11 days turning Fermat's Last Theorem into 13 million lines of code a computer can check itself, no human trust required