SCI & TECH● LOWSep 5 · Sep 5, 2026, 11:05 AM
Fermat’s last theorem formalised by AI agents in just 11 days
New Scientist · global
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
GlobeAlert aggregates and classifies open sources; the story above belongs to its publisher. Summaries are machine-generated from the source text.
More in Sci & Tech
SCI & TECH31m agoPolice in Germany seize robot after teen girl is allegedly gropedSouth China Morning PostSCI & TECH48m agoChina ‘robot trainers’ fold clothes, wash dishes 200 times a day for up to US$900 a monthSouth China Morning PostSCI & TECH48m agoScientist records “lost” species, as the US lists fewer endangered speciesClarínSCI & TECH2h agoPsychology says it's not an illusion that time seems to pass faster between ages 60 and 70: the brain registers novelty and routine years leave fewer marks, so entire periods are compressed in memoryClarín