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 & TECH22m agoSubscribers lament hours of disrupted mobile serviceVanguard NigeriaSCI & TECH1h agoPolice in Germany seize robot after teen girl is allegedly gropedSouth China Morning PostSCI & TECH1h agoChina ‘robot trainers’ fold clothes, wash dishes 200 times a day for up to US$900 a monthSouth China Morning PostSCI & TECH1h agoScientist records “lost” species, as the US lists fewer endangered speciesClarín