The Erdős--Sós Conjecture: A visual exposition of the proof discovered by GPT-6 Astra
The Erdős--Sós theorem states that every graph of average degree greater than $t-2$ contains every tree on $t$ vertices. A short counting proof was discovered by GPT-6 Astra in 2026. We give a visual, reader-centered exposition of that argument whose presentation differs substantially from the original. We recast the counting objects as \emph{early neighbors} in a reveal-and-stop procedure, organize the induction through explicit partitions and reversible swaps, and develop the proof through worked examples with consistent drawings. We also give direct and probabilistic conclusions, compare…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2609.32011
curl -X POST /api/v1/records/arxiv/2609.32011/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2609.32011/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'