Reading up on Tianyi Peng
1 deep · digging since sep 05
- 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.