▲ Peaking
World
🔮 Newsylist predicts: still trending tomorrow medium confidence — graded ✗ wrong
AI Just Solved a 350-Year-Old Math Problem By Writing the Longest Proof Ever
5sources
5articles
3velocity
+0%since first seen
1d agofirst detected
Momentum
How fast coverage is spreading — measured hourly from article rate × source diversity. How this works →
Who reported it (5)
- Claude formalises Fermat's Last Theorem in 11 days, task that would take humans yrs | The proof totals over 13 million lines of code Inshorts · 2d ago
- Anthropic uses Claude to formalize proof of Fermat’s Last Theorem SiliconANGLE · 2d ago
- Fermat’s last theorem formalised by AI agents in just 11 days New Scientist · 2d ago
- Formalizing Fermat's Last Theorem Anthropic · 2d ago
- AI Just Solved a 350-Year-Old Math Problem By Writing the Longest Proof Ever Decrypt · 2d ago broke it first
Related trends
↓ Cooling
World
🔮 fades
Dozens feared trapped in collapsed building in Delhi
A multi-storey building collapse in New Delhi leaves multiple dead and dozens feared trapped.
↓ Cooling
World
🔮 fades
At flood-destroyed China-Nepal border, no sign of a once-busy port
Floods and mudslides have destroyed a busy China-Nepal border crossing, leaving the fate of hundreds unknown.
↓ Cooling
World
🔮 fades
Iran claims strike on US ship in Strait of Hormuz as fighting escalates
Iran claims a military strike on a US ship and oil tankers in the Strait of Hormuz amid escalating regional hostilities.
↓ Cooling
World
🔮 fades
Tucker Budzyn, viral Golden Retriever sensation, dies at 8 after cancer diagnosis
Viral Golden Retriever sensation Tucker Budzyn has died at age eight following a sudden cancer diagnosis.
↓ Cooling
World
🔮 fades
Indonesia cancels flights at Jakarta airport as Anak Krakatau volcano erupts
Anak Krakatau's eruption halts hundreds of flights and disrupts daily life in Indonesia.
↑ Rising
World
🔮 fades ✓
Bus Crash in Egypt Kills at Least 22
A tourist‑filled Red Sea road in Egypt’s Sinai saw a bus overturn, with death tolls reported between 16 and 22.