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
- Stewart Alsop: AI's real value is who can pull aesthetics out of latent space, not hard math — StewartalsopIII · 2026-09-24
- Researchers urge honesty about AI progress after LLM's math shock — aran_nayebi · 2026-09-24
- Personal identity has no determinate answers, argues dioscuri — dioscuri · 2026-09-24
- The Parfitian debate on personal identity in the age of AI minds — dioscuri · 2026-09-24
- Gallup: 90% of AI-aware adults in China report positive feelings about AI, world-leading — Polymarket · 2026-09-24
- Are humans just the bootloader? A causal-loop thought experiment on intelligence — Busy_Requirement_246 · 2026-09-24