AI produces a stunningly simple proof of Erdős-Sós conjecture, reshaping math research
soumitrashukla9 · x · 2026-09-24
A few weeks ago OpenAI's Astra produced a strikingly simple proof of the Erdős-Sós conjecture in graph theory, previously thought to be very difficult. Commenters frame it as a model case for the lifecycle of AI proofs: the AI's initial proof is the beginning, not the end, of research—mathematicians must now figure out how their role changes to ensure AI leads to better understanding.
Related event: AI Produces Elegant Proof of the Erdős–Sós Conjecture(2 posts)→
More from AGI Musings
- Why inference speed will be AI products' biggest competitive edge in 1–2 years — itsOmSarraf_ · 2026-11-11
- Ben Todd's alt log-log plot shows task horizons hitting a singularity in under 12 months — ben_j_todd · 2026-11-11
- AI risk community splits over whether the intelligence explosion arrives in 2027 — sebkrier · 2026-11-11
- The Zvi on unstrategic AI predictions: why overhyping medical AI undermines AI risk credibility — TheZvi · 2026-11-11
- Comic essay on intellectual humility: meaning may exceed human cognition — YogeshMalik · 2026-11-11
- One-person companies may be the new economic foundation—we need insurance and social security for them — rickasaurus · 2026-11-11