Story
Formalizing Fermat's Last Theorem
1 report
1 website
1 discussion
Latest report
Overview
Subscribe to Anthropic Science Features on AI-assisted discoveries, practical workflows, and field notes across the sciences. We are sharing the first complete computer-checked proof of Fermat’s Last Theorem. Claude worked largely autonomously over 11 days to write the proof in the Lean programming language. Below, we describe how the formalization was done and share some thoughts about what this ...
Summary from anthropic.com.
Reports
One report so far. Additional coverage will appear here when it is linked to this story.
anthropic.com
Formalizing Fermat's Last Theorem
Read report →
Community reactions
Each reaction summarizes sampled comments from the linked discussion.
Hacker News · anthropic.com
Historical count: 15 · 15 saved in sample · Historical sample
Awaiting analysis