Read news on Fermat with our app.
Read more in the app
Anthropic AI ‘formalizes’ proof of Fermat’s last theorem — a milestone for mathematics
Fermat’s last theorem formalised by AI agents in just 11 days
Mathematicians put AI to work on Fermat’s last theorem
Fermat's Last Theorem: still a must-read about a 350-year maths secret
How a typo spoiled my proof of Fermat’s last theorem
Mathematicians plan computer proof of Fermat's last theorem
