诺奖得主领衔委员会验证 OpenAI 量子 Yang-Mills 存在性证明
141_1337 · reddit · 2026-11-10
由诺奖得主 David Gross 担任主席的 Yang-Mills Group 科学委员会发布第三份声明,确认已验证 OpenAI 用 LLM 生成的量子 Yang-Mills 理论存在性证明——这是强相互作用力的数学基础,也是百万美元千禧年大奖难题的核心子问题。要点:
- OpenAI 于 10 月 28 日提交完整 Lean 形式化证明代码,委员会确认其按物理学与数学界的标准问题陈述证明了纯 Yang-Mills 理论的存在性
- 委员会成员包括 Michael R. Douglas、Arthur Jaffe、Igor R. Klebanov、Nikita Nekrasov 等顶尖理论物理学家
- 完整证明与验证报告将于 11 月 10 日首次公开,发布两个 GitHub 仓库(原始 Lean 代码与委员会评估文档)
这可能是 AI 首次在千禧年大奖难题级别数学问题上产出经权威委员会验证的完整形式化证明,是 AI for Science 的标志性事件。
所属事件:物理学家工作组验证 OpenAI 杨-米尔斯 Lean 构造：证实 Wightman 公理但未证质量隙(5 条相关)→
「研究」频道最新
- 金融 Agent 开放世界评测 FINCOSMOS：150 场测试无一通过，全部死于隐藏程序检查 — TheFinAI · 2026-11-11
- Blaise Agüera y Arcas 演示：1024 条随机字节磁带竟涌现出自我复制程序 — Machine Learning Street Talk · 2026-11-11
- NBER 模型：「锯齿状超智能」未必转化为科技进步与增长 — JMateosGarcia · 2026-11-11
- 3D 纳米打印造出多芯光纤扇入扇出器件，插入损耗超低 — jwt0625 · 2026-11-11
- Anthropic:Fable 5.2 用 1000 个 Agent 30 小时形式化费马大定理证明 — sven_ai · 2026-11-11
- Manheim 论 AI 进展分化:可验证任务快、「软性」任务受稀疏奖励拖累 — davidmanheim · 2026-11-11