OpenAI 杨-米尔斯构造通过 Lean 形式化验证,质量间隙仍未解
MikePFrank · x · 2026-11-11
Yang-Mills 工作组宣布,OpenAI 提交的连续纯杨-米尔斯理论存在性构造(OpenAI-YM-20261028)已完成并通过 Lean 形式化验证。这是千禧年七大数学难题之一的部分突破,但核心的「质量间隙」(mass-gap)仍是未解问题,相关竞赛还在继续。多位量化/数学圈人士转发称这是「非常大的进展」。
所属事件:诺奖得主领衔工作组验证 OpenAI Yang-Mills 存在性证明(8 条相关)→
「漫话AGI」频道最新
- 牛津 AI 与人类关系专题二次征稿：500 字摘要 12 月 31 日截止 — dioscuri · 2026-11-13
- MIT Kaelbling 11月19日开讲:纯行为学习能否造通用机器人 — VectorInst · 2026-11-13
- 经济学家测算：智能爆炸尚无证据，进展更多靠堆资源 — soumitrashukla9 · 2026-11-13
- 学者用 Claude 算账：极简大学年学费仍需 20389 美元 — _akpiper · 2026-11-13
- Luiza Jarovsky：智能体速度下「有意义的人类监督」正成幻觉 — LuizaJarovsky · 2026-11-13
- 「RL 扩展通向超级智能?」质疑声:不过是编译器反馈加 IP 搬运 — yacineMTB · 2026-11-13