OpenAI 称证出量子 Yang-Mills 存在性,诺奖得主 Gross 领衔委员会审核
danintheory · x · 2026-11-05
KITP 发布 Yang-Mills 工作组第二份声明(2026 年 11 月 3 日):由诺奖得主 David Gross 担任主席、Michael Douglas、Arthur Jaffe、Igor Klebanov、Nikita Nekrasov 组成指导委员会,负责审核 OpenAI 声称用 LLM 得到的四维 Yang-Mills 理论与 QCD 存在性构造结果。
- 当前重点是核查纯 Yang-Mills 理论存在性的 Lean 形式化证明:确认定义与物理/数学标准一致、形式化与非形式论述对应,进展顺利,Lean 证明有望下周发布
- 承诺发布 LLM 产出材料前至少提前一天公告
- 委员会公布了规则与程序:参与者不签 NDA、自愿无偿参与、不追求 AI 发现的学术署名、需披露利益冲突
- 这是「AI 产出重大数学/物理结果 + 顶级数学家委员会背书审核」的罕见机制,含 Quantum Yang-Mills 存在性这一千禧年难题相关子问题
所属事件:OpenAI 宣称证明量子杨-米尔斯理论存在 诺奖得主领衔审核(2 条相关)→
「漫话AGI」频道最新
- Neel Nanda 谈模型对齐:应明说拒绝而非隐蔽摆烂 — NeelNanda5 · 2026-11-05
- 把算力建到太空逃避监管？业内：完全不正经的想法 — zacharynado · 2026-11-05
- Reddit 长文:AI 或永无意识,而这并非坏事 — Own-Cry-5520 · 2026-11-05
- 研究者认为内部护栏难防恶意 AI,主张外部防护机制 — IgorGabrielan · 2026-11-05
- 莱姆科幻被重估:早于 2000 年就写对了会犯错、写诗的成长式 AI — zetalyrae · 2026-11-05
- Chamath：长时程任务仍是笑话，AI 泡沫或迎幻灭低谷 — 2C_ornot2C · 2026-11-05