FLT: Anthropic has beaten me to it
Summary
Post reports that Anthropic formalized Fermat’s Last Theorem in Lean via prove2.me, marking a milestone in autoformalization. It details the mathematical approach, codebase, and implications for AI-assisted mathematics and future research.