Preprint
Sep 2026
A short proof of the Erd\H os--S\'os Conjecture
The Erd\H os--S\'os Conjecture was recently proved by GPT-6 Astra, using a very ingenious and surprising argument. In this note, we present a simplified version of this argument in an (arguably) more natural form. We also prove a related conjecture of Addario-Berry, Havet, Linhares Sales, Reed and Thomass\'e, and give...
O. Riordan, A. Scott
· 3 citations
· ⚡1