OpenAI 称 AI 证明量子杨-米尔斯理论存在,诺奖得主 Gross 领衔委员会审核
danintheory · x · 2026-11-05
KITP 发布 Yang-Mills 工作组第二份声明:由诺奖得主 David Gross 担任主席、含 Michael Douglas、Arthur Jaffe、Igor Klebanov、Nikita Nekrasov 的委员会,正在审核 OpenAI 声称的关于量子色动力学存在性及标准模型完备化的 AI 成果,子问题包括证明四维量子 Yang-Mills 理论存在(克雷千禧年难题之一)。
- 委员会当前重点是核对纯 Yang-Mills 理论存在性的 Lean 形式化证明:确认定义与物理/数学标准一致、形式化与非正式论证对应;
- 审核通过后 Lean 证明有望最早下周发布,LLM 产出材料发布前会提前一天公告;
- 委员会不署名认领 AI 发现的学术信用,成员自愿参与、无报酬,须回避利益冲突(不得同时在相关问题上做研究或供职相关公司)。
这是 AI for Science 迄今最重磅的数学物理成果验证流程,千禧年难题级别的结果由 LLM 产出、顶级物理学家背书审核。
「漫话AGI」频道最新
- Clement 点破生成式世界图景：世界不必真实，行为如真即足够 — c_valenzuelab · 2026-11-05
- iPhone 年年变强的直觉为何不适用于进化:没有可并行性 — louisvarge · 2026-11-05
- 1889年报纸剪影：纽约也曾掀起「讨伐致命电线」运动 — daniel_mac8 · 2026-11-05
- 有人预测 LLM 时代软件只剩三种角色：PM、软件工厂维护者和 LLM 对手 — acostin · 2026-11-05
- 「全靠 AI 干活」为何可能是反向信号：判断力才是关键 — mobileraj · 2026-11-05
- 被 AI 抹平技能后如何自处：做「分布之外」的人 — DanGrover · 2026-11-05