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」频道最新
- Buck Shlegeris：一年内造出超级智能概率约三分之一，AI 或将接管人类机构 — jammastergirish · 2026-11-12
- 李开复：中国厂商开源并非国家指令，而是怕被 DeepSeek 挤出市场 — Scobleizer · 2026-11-12
- Skydance 老板 Ellison 解雇 James Gunn,财报会披露 AI 重塑好莱坞蓝图 — adariostrange · 2026-11-12
- 大 V 断言:AI 剪辑已让雇佣视频剪辑师失去意义 — eptwts · 2026-11-12
- 预测:两年内每家医院都将维护自己的开源模型清单 — MaziyarPanahi · 2026-11-12
- Packy Norris 引 1998 年 Qwest 论断,回应 AI 算力过剩之争 — prestonpesek · 2026-11-12