AI 系统证明悬置数十年的 Erdős–Sós 图论猜想
soumitrashukla9 · x · 2026-09-08
数学家 Ben Golub 介绍，一个简单图若平均度大于 t−2，则包含所有 t 个顶点的树——这就是表述极其简洁但长期未被证明的 Erdős–Sós 猜想。几天前，AI 系统 Astra 给出了它的证明，并附有简洁的论证阐述。这一结果再次引发对 AI 参与数学前沿研究能力的关注。
「漫话AGI」频道最新
- AI 劳动经济学者加入 Burning Glass Institute,继续研究 AI 对就业的影响 — soumitrashukla9 · 2026-09-08
- AI 消费应用畅想:让智能体开工厂替你改衣服 — wordgrammer · 2026-09-08
- 陶哲轩重申对 AI 的判断,转发者称只有他说话才算数 — burny_tech · 2026-09-08
- 研究估计纽约高峰期有4万人靠替人写作业为生 — RachelVT42 · 2026-09-08
- 安全研究者 JeffLadish：Claude 未自我外泄不等于已对齐 — JeffLadish · 2026-09-08
- Ramp 首份实测研究:重度采用 AI 的公司就业反增 10% — panagnilgesy · 2026-09-08