Get the latest Science News and Discoveries
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
None
Or read this on New Scientist
