AI 给出 Erdős–Sós 猜想极简证明，人类转向「解读 AI 发现」
alejandroll10 · x · 2026-09-24
数学家 Thomas Bloom 透露，AI 系统 Astra 数周前对图论中的 Erdős–Sós 猜想给出了一个「惊人简洁」的证明——该猜想此前被认为非常困难，并附上了 AI 形式化证明的发布链接。
Bloom 将其视为 AI 证明生命周期的正面范例：AI 完成证明并形式化，之后由人类数学家接手检验与消化。
转推者 arpitrage 据此提出更大判断：人类未来的分工将越来越集中于解读主要由 AI 做出的研究发现——AI 负责发现，人类负责理解、验证与赋予意义。
所属事件:AI 为 Erdős–Sós 猜想给出简洁证明(2 条相关)→
「漫话AGI」频道最新
- 研究员呼吁诚实面对三年 AI 进展：数学会否被 LLM 攻陷引担忧 — aran_nayebi · 2026-09-24
- 个人同一性没有确定答案：AI 意识问题的哲学底座 — dioscuri · 2026-09-24
- Parfit 式传送门之争：AI 意识时代的个人同一性讨论 — dioscuri · 2026-09-24
- 复制体辩论：一方的存在并不能延长另一方的生命 — ZyMazza · 2026-09-24
- Gallup 调查:中国 90% 成年人对 AI 持乐观态度全球居首 — Polymarket · 2026-09-24
- 人类只是智能进化的 bootloader？一个因果循环思想实验 — Busy_Requirement_246 · 2026-09-24