https://www.anthropic.com/research/formalizing-fermats-last-theorem

Anthropic
Formalizing Fermat's Last Theorem
Anthropic is an AI safety and research company that's working to build reliable, interpretable, and steerable AI systems.
8September 5, 2026 5.2K 15