**GPT-6 Astra 完成 Erdős–Sós 猜想证明，arXiv 论文公开阐述**

_AI proof of the Erdős–Sós conjecture_

> arXiv 论文 2609.17877《The Erdős–Sós Theorem》由 David R. Wood 撰写，属于数学史与综述（math.HO）分类，系统阐述了一个由 GPT-6 Astra 发现的对 Erdős–Sós 猜想的证明。该猜想断言：任何平均度大于 t-2 的图都包含所有 t≥2 个顶点的树。论文为 9KB 的说明性文本，旨在向读者呈现这一 AI 发现证明的思路，而非以传统同行评审形式发表。

**来源信息**
- **来源**：Hacker News：AI 热帖
- **分类**：论文
- **发布时间**：2026-09-23 20:31（北京时间）
- **原文**：[打开原文](https://arxiv.org/abs/2609.17877)