GitHub – anthropics/fermats-last-theorem · GitHub

GitHub – anthropics/fermats-last-theorem · GitHub

🚀 Read this awesome post from Hacker News 📖 📂 **Category**: 📌 **What You’ll Learn**: A complete, machine-checked proof of Fermat's Last Theorem in Lean 4, built on Mathlib (Lean 4.33.1; Mathlib v4.33.0, pinned by commit in lakefile.lean). The argument is that of Frey, Serre, Ribet, Wi...

Travel

GitHub – anthropics/fermats-last-theorem · GitHub

GitHub – anthropics/fermats-last-theorem · GitHub

🚀 Read this awesome post from Hacker News 📖 📂 **Category**: 📌 **What You’ll Learn**: A complete, machine-checked proof of Fermat's Last Theorem in Lean 4, built on Mathlib (Lean 4.33.1; Mathlib v4.33.0, pinned by commit in lakefile.lea...