Indexed metadata
A short proof of the Erd\H os--Sós Conjecture
Oliver Riordan, Alex Scott
Source abstract
The Erd\H os--Sós 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 determine the extremal graphs for the Erd\H os--Sós Conjecture, and prove a related conjecture of Addario-Berry, Havet, Linhares Sales, Reed and Thomassé.
Evidence graph
No public relationships recorded yet.
Integrity note: This page is a factual metadata record created by deterministic ingestion. It is not a claim that the work moves a mathematical frontier or has been independently verified.