AI's 'stunningly simple' proof of Erdős–Sós conjecture signals humans becoming interpreters of AI discoveries
alejandroll10 · x · 2026-09-24
Mathematician Thomas Bloom reports that AI system Astra recently produced a "stunningly simple" proof of the Erdős–Sós conjecture in graph theory — previously considered very difficult — with the AI formalisation posted online.
Bloom calls it a good model for the lifecycle of AI proofs: the AI produces and formalises the result, then human mathematicians verify and digest it.
The retweaker draws the bigger conclusion: humans will increasingly specialize in interpreting research discoveries made mostly by AI.
Related event: AI Produces Elegant Proof of the Erdős–Sós Conjecture(2 posts)→
More from AGI Musings
- Prediction: hospitals will keep their own tested open-model formularies in two years — MaziyarPanahi · 2026-11-12
- Packy revives Qwest CEO's 1998 'no bandwidth glut' quote for the AI oversupply debate — prestonpesek · 2026-11-12
- AI agent web traffic grew 8x in two months, bots now 54% of web traffic — omooretweets · 2026-11-12
- François Fleuret: superintelligent AI will deduce more and experiment far less — francoisfleuret · 2026-11-12
- a16z maps the B2A economy: AI agents are now most of web traffic and soon its buyers — venturetwins · 2026-11-12
- Jason: Anthropic is rebuilding every SaaS product into Claude—free for life — smtabatabaie · 2026-11-12