OpenAI 声称 AI 群体协作证明 Navier-Stokes 奇点可形成
erdematar · reddit · 2026-09-13
Reddit 帖梳理 OpenAI 近期 Navier–Stokes 结果的真实含义：悬置千禧年难题的未解部分是「光滑 3D 流体是否会发展出奇点」，OpenAI 声称其 AI 智能体群体通过分工尝试、互相共享发现，最终给出奇点可在有限时间内形成的证明，并用 Lean 形式化。
- 尚无独立验证，数学界普遍谨慎，不敢断言问题已被解决
- 作者认为更大的意义在于 AI 能产出真正新证明：未来 5-10 年科学研究形态或改变，数学家可能转向选题、引导模型与验证结论
- 帖内引发「是突破还是过度炒作」的讨论
所属事件:OpenAI 万级 Agent 宣称攻克 Navier-Stokes，数学界信用争端升级(11 条相关)→
「漫话AGI」频道最新
- 开发者追问 OpenAI:AGI 到底宣了没?独立专家小组审过吗? — tomchapin · 2026-09-13
- 研究员预测:重大事故后开源模型恐遭禁,应改为受监控 API — TinfoilTricorn · 2026-09-13
- 评论:Ant 与 OpenAI 即使停在前沿,也能把 Astra 级模型蒸馏到 $0.3/1M — teortaxesTex · 2026-09-13
- 慈善基金 Coefficient 拟资助 AI 审计能力建设,回应审计缺口讨论 — lxrjl · 2026-09-13
- 超级智能争论漏了关键:谁掌握瞄准权、谁是问题本身 — TansuYegen · 2026-09-13
- AI 冷邮件泛滥:教授半年收 75 封 2027 级 PhD 套磁邮件 — random_walker · 2026-09-13