Xena Project post says Anthropic has taken the lead in formalizing Fermat’s Last Theorem

A Xena Project blog post discusses the effort to formalize Fermat’s Last Theorem and says Anthropic appears to have beaten the author to that milestone. The post highlights growing momentum around using proof assistants and AI systems to verify major results in modern mathematics.

If accurate, this marks a symbolic advance for formal mathematics, showing that AI-backed tooling may be ready for deeper, historically significant proofs. The trend points toward more competition between labs, academics, and open-source communities to build trusted systems for verified reasoning.