AI 中文总结
本文阐述了由 GPT-6 Astra 发现的 Erdős--Sós 猜想的证明，该猜想断言平均度大于 $t-2$ 的图包含所有 $t$ 顶点树。
AI 中文摘要
我们展示了一个由 GPT-6 Astra 发现的 Erdős--Sós 猜想的证明的阐述，该猜想指出，平均度大于 $t-2$ 的每个图都包含每个有 $t\geq 2$ 个顶点的树。
英文摘要
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\geq 2$ vertices.
