{"id":"arxiv/2609.15893","url":"https://arxiv.org/abs/2609.15893","tags":["math.CO"],"score":0,"title":"A short proof of the Erd\\H os--Sós Conjecture","domain":"math.CO","source":"arxiv","authors":["Oliver Riordan","Alex Scott"],"reviews":0,"subject":"math.CO","summary":"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 prove a related conjecture of Addario-Berry, Havet, Linhares Sales, Reed and Thomassé, and give a substantially simplified proof of an analogous result for eulerian digraphs, again proved by GPT-6 Astra, and announced by Mubayi and Verstraete. In addition, we determine the extremal (di)graphs for all three problems.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-14","reactions":{}}