{"id":"1a63c0fc-1558-40f8-8a69-72396ac51669","url":"https://www.newscientist.com/article/2587839-fermats-last-theorem-formalised-by-ai-agents-in-just-11-days/","domain":"newscientist.com","outlet":{"name":"New Scientist","country":"GB","cred":4,"lean":0,"curated":true},"title":"Fermat’s last theorem formalised by AI agents in just 11 days","plainHeadline":"AI agents formalised Fermat’s last theorem in 11 days.","rewrite":{"model":null,"at":null},"summary":["Anthropic created a formalised proof of Fermat's last theorem using AI agents.","The project completed in 11 days, confirming the human-found 1990s proof.","The formal proof comprises 13 million Lean lines and 29,500 intermediate theorems.","Buzzard noted the work proceeds from axioms and aims at robust AI formalisation.","The effort used Prove2Me to track tasks and improve collaboration among agents."],"topics":["Science","AI"],"lang":"eng","publishedAt":"2026-09-05T11:05:48.000Z","ingestedAt":"2026-09-05T12:08:50.833Z","story":null}