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 45d 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 · 45d ago
- Anthropic uses Claude to formalize proof of Fermat’s Last Theorem siliconangle.com · 45d ago
- Fermat’s last theorem formalised by AI agents in just 11 days New Scientist · 45d ago
- Formalizing Fermat's Last Theorem Anthropic · 45d ago
- AI Just Solved a 350-Year-Old Math Problem By Writing the Longest Proof Ever Decrypt · 45d ago
Topics
Related trends
Sandisk: TSMC Just Fired A $94 Billion Warning Shot (NASDAQ:SNDK)
5 news sources are covering this Business story right now — PULSE is tracking how fast it spreads.
Chinese Phone Batteries Are Just Getting Out of Hand
5 news sources are covering this Technology story right now — PULSE is tracking how fast it spreads.
Kim Kardashian Pairs a 75-Year-Old Dress With 65 Carats of Diamonds and a Retro Bouffant Updo
4 news sources are covering this Entertainment story right now — PULSE is tracking how fast it spreads.
Jenna Ortega Poses in an Iconic 60-Year-Old Mod Minidress in a Playful Twist on Method Dressing
2 news sources are covering this Entertainment story right now — PULSE is tracking how fast it spreads.
'Just another scare': Wall Street sees the AI trade strong despite tech's latest rout
Wall Street stays bullish on AI trade even as Nasdaq slides over 2% amid a widening AI‑stock sell‑off
KFC Just Announced a Major Menu Change After Nearly 40 Years
2 news sources are covering this Business story right now — PULSE is tracking how fast it spreads.