newscientist.com

Fermat's last theorem formalised by AI agents in just 11 days | New Scientist

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

This site doesn’t allow embedding inside another page — open it in a new tab. Your Weird rating still works from the top bar.

Open source