曝 OpenAI 同周连破两大千禧年难题：Navier-Stokes 与 Yang-Mills 证明仅隔 4 天
haider1 · x · 2026-10-27
OpenAI 宣布在数学、计算机科学与物理领域取得三项新发现（调和分析、复杂性理论、量子场论），其中包括千禧年大奖难题相关的突破。据引用的细节：OpenAI 内部模型在 9 月 5 日产出了 Navier-Stokes 证明，仅 4 天后的 9 月 9 日又产出 Yang-Mills 存在性证明——同一周内两项千禧年奖级别进展。配图还显示模型随后在 9 月 18 日产出 QCD 证明，因工作长度与复杂度推迟发布，等待 Lean 形式化完成；Yang-Mills 存在性的形式化已于 10 月 16 日完成。
所属事件:OpenAI 宣布 AI 连获三项科学发现，含证伪 ETH 与 Yang-Mills(79 条相关)→
「研究」频道最新
- 密歇根大学发布 KIDBench：LLM 对儿童安全性随语言与文化显著波动 — radamihalcea · 2026-10-27
- EdgeRock 架构 256K 上下文 KV 缓存仅 72 MiB,比 Qwen3.5-4B 省 99.1% — alifcoder · 2026-10-27
- 十年机制可解释性研究盘点：「LLM 只是下一词预测」论已死 — Scorpios22 · 2026-10-27
- Equivariant Music Transformer 入选 ISMIR 2026 最佳论文提名 — umpedronosapato · 2026-10-27
- Deedy 补充 ETH 推翻说法的 OpenAI 与 Claude 两份文档链接 — deedydas · 2026-10-27
- 曝 OpenAI 与 Claude 模型各自独立给出 3-SAT 次指数算法，ETH 或被推翻 — deedydas · 2026-10-27