AI 给出 Erdős-Sós 猜想简洁证明，引发研究者角色之辩
soumitrashukla9 · x · 2026-09-24
几周前，OpenAI 的 Astra 模型为图论中一度被认为非常困难的 Erdős-Sós 猜想给出了一个惊人简洁的证明。Terence Bloom 等人将其视为「AI 证明生命周期」的良好范例：AI 形式化并给出初证之后，人类的数学工作并非终结，而是从此开始——AI 的证明只是研究的起点，研究者需要确保 AI 带来更好的理解。转发者认为这是关于 AI 冲击数学与科学研究方式、研究者应如何转变角色的最有建设性的一份讨论。
所属事件:AI 为 Erdős–Sós 猜想给出简洁证明(2 条相关)→
「漫话AGI」频道最新
- 为什么美国人对 AI 最悲观？答：科技行业早已烧光了公众信任 — PAstynome · 2026-09-25
- zetalyrae 挖苦 EA 式 AGI 乌托邦：避开了灭绝风险又如何 — zetalyrae · 2026-09-25
- NVIDIA 研究员警告 AI 最大风险是 brain rot：同事连自己转的报告都不看 — JFPuget · 2026-09-25
- Domingos 批评 AI 行业：刷几个基准就宣布胜利 — pmddomingos · 2026-09-25
- 百万条 EA 论坛帖再被挖料:Yudkowsky 争议言论曝光,AI Safety 圈内讧升级 — mark_k · 2026-09-25
- zetalyrae:AGI 乌托邦纵然躲过灭绝,人类照样面临意义流失 — zetalyrae · 2026-09-25