Erd\H os--Sós 猜想的一个简短证明
A short proof of the Erd\H os--Sós Conjecture
- University of Oxford（牛津大学）
机构由 AI 辅助整理，请以论文原文为准。
AI总结：
本文简化了 GPT-6 Astra 对 Erd\H os--Sós 猜想的证明，确定了极值图，并证明了相关猜想。
AI中文摘要：
Erd\H os--Sós 猜想最近被 GPT-6 Astra 用一个非常巧妙且令人惊讶的论证证明了。在本文中，我们以（可以说）更自然的形式给出了该论证的一个简化版本。我们还确定了 Erd\H os--Sós 猜想的极值图，并证明了 Addario-Berry、Havet、Linhares Sales、Reed 和 Thomassé 提出的一个相关猜想。
英文摘要：
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é, again determining the extremal graphs.
