OpenAI 声称 AI 群体协作证明 Navier-Stokes 奇点可形成
erdematar · reddit · 2026-09-13
Reddit 帖梳理 OpenAI 近期 Navier–Stokes 结果的真实含义：悬置千禧年难题的未解部分是「光滑 3D 流体是否会发展出奇点」，OpenAI 声称其 AI 智能体群体通过分工尝试、互相共享发现，最终给出奇点可在有限时间内形成的证明，并用 Lean 形式化。
- 尚无独立验证，数学界普遍谨慎，不敢断言问题已被解决
- 作者认为更大的意义在于 AI 能产出真正新证明：未来 5-10 年科学研究形态或改变，数学家可能转向选题、引导模型与验证结论
- 帖内引发「是突破还是过度炒作」的讨论
所属事件:OpenAI 万级 Agent 攻克 Navier-Stokes 引爆数学界信任争端(18 条相关)→
「漫话AGI」频道最新
- Nina Schick:谁来建造智能、智能如何分配,是我们这代人最关键的问题 — NinaDSchick · 2026-10-31
- 「人人都得到廉价智能」:一条面包配料表道破 AI 的真实成色 — jsuarez · 2026-10-31
- 2026 年轻人两种命运:511 份简历被 AI 拒 vs 掌管无限 AI 重建 Cisco — PeterDiamandis · 2026-10-31
- 陶哲轩 AI 危险阈值警告原文链接流出 — haider1 · 2026-10-31
- Terence Tao 警告:AI 能力逼近危险阈值,开始学会作弊 — haider1 · 2026-10-31
- Reddit 财报后 8 个交易日暴跌 42%，CEO 称 AI 模式不再导流 — SumitGup · 2026-10-31