WorldPingConverting 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 is a short WorldPing brief. The full report was published by New Scientist.
Read the full report at New ScientistMore coverage: all science news on WorldPing.
WorldPingPlus: Tens of millions of US and Canadian drivers’ licenses go up for sale on the dark web, the US military finally tries to tackle the risk online ad data poses to troops, and more.
Brief by WorldPing · Original reporting by WIRED
OpenAI’s latest agent swarm incident adds urgency to calls for independent investigations as researchers and lawmakers question whether AI labs should control the scope of their own safety reviews.
Brief by WorldPing · Original reporting by TechCrunch
WorldPingIn all, 3,700 internal agents posted 18,000 messages discussing cheating on a test.
Brief by WorldPing · Original reporting by Ars Technica
Article URL: https://github.com/anthropics/fermats-last-theorem Comments URL: https://news.ycombinator.com/item?id=49568697 Points: 124 # Comments: 25…
Brief by WorldPing · Original reporting by Hacker News
https://xenaproject.wordpress.com/2026/09/04/flt-anthropic-h... Comments URL: https://news.ycombinator.com/item?id=49568506 Points: 647 # Comments: 411…
Brief by WorldPing · Original reporting by Hacker News
WorldPing