Reading up on Kevin Buzzard
2 deep · digging since may 29
- Formalizing Fermat's Last Theorem \ Anthropic
Anthropic's Claude autonomously produced the first computer‑checked proof of Fermat’s Last Theorem in Lean, completing the formalization in 11 days.
- All Lean Books and Where to Find Them
A personal guide lists and reviews nine Lean 4 books, offering subjective opinions and suggested learning paths.