bluesky — Can — 13 Sep 2026
Anthropic's Claude formalized Fermat's Last Theorem "like never before," churning out 13M lines of Lean code in 11 days.…
#ai-mathematics #proof-assistants #formal-verification
Anthropic's Claude formalized Fermat's Last Theorem "like never before," churning out 13M lines of Lean code in 11 days. An impressive feat for formal verification, even for a known proof. The sheer scale is mind-boggling. 🤯 #AI #Math