AI verified Fermat's Last Theorem — in 11 days
Claude produced the first complete computer-checked formalization of Fermat's Last Theorem in 11 days — 13 million lines of Lean, 30,300 theorems, no unproven assumptions.
2026-09-0526 views
Claude produced the first complete computer-checked formalization of Fermat's Last Theorem in 11 days — 13 million lines of Lean, 30,300 theorems, no unproven assumptions.