SCI & TECH● LOW1h ago · 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 agoChinese-German team builds ultra-sensitive ‘floating compass’ to hunt dark matterSouth China Morning PostSCI & TECH1h agoHow Teachers Are Shaping Education Around What AI Cant Teach in 2027business-standard.com · IndiaSCI & TECH1h agoGuangdong turns AI advances into affordable innovationsxdaily.com.cn · ChinaSCI & TECH2h agoIFA 2026: Looking beyond the smart home with HaierEuroNews [en]