David R. Wood, The Erdős-Sós Theorem

Room B332 IBS (기초과학연구원)

We present an exposition of a proof, discovered by GPT-6 Astra, of the Erdős-Sós Conjecture, which states that every graph with average degree greater than t−2 contains every tree on