AI Just Solved a 350-Year-Old Math Problem By Writing the Longest Proof Ever
5 news sources are covering this World story right now — PULSE is tracking how fast it spreads.
Velocity
How fast coverage is spreading — measured hourly from article rate × source diversity. How this works →
The brief
"AI Just Solved a 350-Year-Old Math Problem By Writing the Longest Proof Ever" is generating significant coverage in the World category, with 5 articles from 5 distinct sources tracked by PULSE so far.
Outlets currently covering the story include Inshorts, siliconangle.com, New Scientist and Anthropic. PULSE measures a story's velocity from how quickly new articles appear and how many independent newsrooms join the coverage.
This brief was generated by PULSE's extractive engine from coverage metadata only. The latest headlines from every source are listed below; the velocity chart shows how the story is developing in real time.
Generated by PULSE's extractive engine from coverage metadata only — no AI-written claims. Updated 70d ago.
Quick answers
Why is "AI Just Solved a 350-Year-Old Math Problem By Writing the Longest Proof Ever" trending?
Because 5 independent news sources published 5 articles about it in a short window — a coverage burst PULSE classifies as a trend.
How does PULSE measure this trend?
PULSE scores velocity from the rate of new articles weighted by source diversity, snapshotted hourly. The full method is public on our methodology page.
Is this trend still active?
The status badge on this page updates hourly: rising, peaking, cooling, or archived once coverage stops for 48 hours.
Coverage (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 · 70d ago
- Anthropic uses Claude to formalize proof of Fermat’s Last Theorem siliconangle.com · 70d ago
- Fermat’s last theorem formalised by AI agents in just 11 days New Scientist · 70d ago
- Formalizing Fermat's Last Theorem Anthropic · 70d ago
- AI Just Solved a 350-Year-Old Math Problem By Writing the Longest Proof Ever Decrypt · 70d ago
Topics
Related trends
Congress Just Flipped. Here’s What Warren Buffett Does After Every Election.
Congress has flipped control after the 2026 midterms, triggering a wave of investor-focused coverage highlighting Warren Buffett's post-election strategy.
The Problem With Taika Waititi's 'Klara and the Sun' Instagram Post
Taika Waititi blasts critics over Klara and the Sun reviews as Jenna Ortega's dystopian sci-fi film cancels its international release.
Steam On Linux Just Under 4% For October 2026
Steam's operating system and hardware landscape shifts as Linux approaches four percent share and RAM configurations fluctuate.
Scientists Recovered 22,000-Year-Old Human DNA From Cave Dirt
Researchers have successfully recovered 22,000-year-old human DNA directly from cave soil, revealing unexpected prehistoric connections across Europe.
ServiceNow Stock Just Plunged More Than 20% in a Single Day. Here's What It Did After Its Other Biggest Drops.
ServiceNow shares experienced a historic single-day plunge after missing earnings estimates, reviving broader market fears of software disruption.
Brian Thomas on rough stretch: Just want to flush it
Jaguars’ former first‑round receiver Brian Thomas Jr. vows to “flush” his slump as trade whispers swirl from the Commanders and Dolphins.