Skip to content

The Erdős--Sós Theorem

David R. Wood

math.HOarXiv:2609.17877

Abstract

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 t≥ 2 vertices.

Create a lesson