{"id":"arxiv/2609.32011","url":"https://arxiv.org/abs/2609.32011","tags":["math.GM"],"score":0,"title":"The Erdős--Sós Conjecture: A visual exposition of the proof discovered by GPT-6 Astra","domain":"math.GM","source":"arxiv","authors":["Jay Cummings"],"reviews":0,"subject":"math.GM","summary":"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…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-25","reactions":{}}