LD
Public post
Leonardo de Moura
Sep 2026 • linkedin
Post excerpt
I did not expect this. Anthropic just published the first complete machine-checked proof of Fermat's Last Theorem. It is written in Lean. The proof is more than 13 million lines of Lean code, more than five times the size of Mathlib. Kevin Buzzard's post: https://lnkd.in/en84fijy The proof: https://lnkd.in/eepCSRet Anthropic's post: https://lnkd.in/ezWn7HnB #leanprover #leanlang #lean4
#leanprover#leanlang#lean4
Find the people and context behind this post
Sign up for Super Carl to explore relationship context, warm paths, and relevant opportunities.