The Erdős--Sós Conjecture: A visual exposition of the proof discovered by GPT-6 Astra

Jay Cummings

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 202…