Science · 1 views
Fermat’s last theorem formalised by AI agents in just 11 days
Converting the proof of Fermat's last theorem into code that computers can check was expected to take years – Anthropic's Claude AI managed it in less than two weeks
Summary
/ Email Print A painting of Pierre de Fermat by Roland Lefebvre GL Archive/Alamy AI company Anthropic has created a formalised proof of Fermat’s last theorem. It took just 11 days for a group of AI agents to complete the task, confirming that the human-found proof proposed in the 1990s is correct. Fermat’s last theorem puzzled mathematicians for centuries until it was proven in 1995 by Andrew Wiles .
AI summaries can be wrong sometimes—always verify important details using the source article.
How AI & Automation are usedMore from Science
Continue reading recent Science coverage
- Ocean indicators NOAA scientists are tracking for El Niño's arrival on the West CoastContinue reading
- Late Roman decrees uncover military system behind amphitheater animal spectaclesContinue reading
- Indonesia rescues second orangutan mother and baby from wildfireContinue reading
- If Your Parents Live to 100, Does That Mean You Will Too? The Most Comprehensive Study Yet Has an Answer.Continue reading
Support HappeningNow
Independent AI-powered news analysis is reader-supported. Your contribution helps cover infrastructure, summaries, and continued platform development.
Support HappeningNow