anthropics/fermats-last-theorem
View on GitHub ↗ ★ 1,309 Lean
5 mentions on Hacker News by 4 people: 1 story, 4 comments · first 2026-09-04 · latest 2026-09-05
20082026
-
…(a build from scratch is quite daunting as stated in the project readme) of Lean artifacts. See https://github.com/anthropics/fermats-last-theorem/blob/main...
comment by fspeech · 2026-09-05 · in Formalizing Fermat's Last Theorem -
What a time to be alive stuff. https://github.com/anthropics/fermats-last-theorem/blob/main...
comment by mcapodici · 2026-09-05 · in Fermat's Last Theorem in Lean 4 -
They released the code here: https://github.com/anthropics/fermats-last-theorem
comment by aaraujo002 · 2026-09-04 · in Formalizing Fermat's Last Theorem -
https://github.com/anthropics/fermats-last-theorem/blob/main... status: "self-assessed" 13 million lines of Lean, where the Lean and Nanoda kernels missed the Collatz hack. Fable, please translate to HOL-light. Make no mistakes. You are…
comment by lseplot · 2026-09-04 · in Formalizing Fermat's Last Theorem -
▲ 146
Fermat's Last Theorem in Lean 4story by aaraujo002 · 2026-09-04 · 31 comments