Anthropic Says Claude Formalized a Proof of Fermat’s Last Theorem in 11 Days
Anthropic says Claude autonomously produced the first complete, machine-checked formalization of Fermat’s Last Theorem in 11 days, a verification feat built on years of community work.