Lean

Found 1 recent publications

Sep 6, 2026

15:14

Anthropic's Claude Generates 13-Million-Line Proof of Fermat's Last Theorem

Anthropic's Claude AI has generated a 13-million-line formal proof of Fermat's Last Theorem in Lean over 11 days. The machine-verifiable codebase has been published on GitHub for global mathematical review.

Showing latest 50 articles for this tag