Reading up on Prove2Me
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.
One topic. Every takeSeek and you shall find