OpenAI宣布攻克数学、计算机科学、物理学三大难题，含挂谷猜想证明，学界未核验
据 IT 之家转述 The Verge 报道，OpenAI 当地时间周一宣布在数学、计算机科学与物理学三个领域取得针对重大未解难题的突破，并表示正在调整成果发布的沟通方式。三项成果中，数学方向据称已在全部维度上证明挂谷猜想，计算机科学方向宣称证伪了理论计算机科学中广泛认可的指数时间假说，物理学方向围绕量子色动力学及其与杨-米尔斯理论的关联展开，但该项成果暂不对外公开。目前上述结论均未经学界独立核验：布朗大学数学教授布伦丹·哈塞特称数学结论“看起来有充分依据”，但明确表示自己尚未核验其 Lean 形式化证明。事件处于“已宣布、待验证”阶段，三项成果按“引导人”建议采取了不同发布方案：数学成果直接公开交由学界解读，计算机科学成果将组建外部研究小组负责解读，物理学成果则交由外部专家团队决定后续发布形式。
rss · IT之家 · 10月28日 03:27 · 互证 2 家
「为何重要」 若挂谷猜想与指数时间假说的证明最终获学界核验，将分别在数学与理论计算机科学领域产生重大影响，但这目前仍是待验证的公司声明，不能视为已确立的科学结论。当前已确定的影响集中在科研社区运作规范上：OpenAI 亲自挑选专家并分级开放访问权限的做法引发批评，受访者担忧大型实验室借此决定谁有资格参与核验。接下来值得关注的信号是：挂谷猜想证明能否通过独立团队的 Lean 形式化核验，以及 OpenAI 是否回应 AGMAI 的敦促、公开物理学成果的自然语言文稿与形式化证明。
「背景」 据报道，OpenAI 与数学界过去数月摩擦不断：十月初该公司曾一次性放出数百篇预印本，令数学家疲于应对，此次则改为与担任“引导人”的领域专家合作确定发布方式。据 The Verge 报道，数学家王虹今年早些时候凭借三维挂谷猜想证明等成果获得菲尔兹奖，而 OpenAI 此次宣称覆盖全部维度；另据 OpenAI 说明，其物理学研究并未解决杨-米尔斯理论中悬而未决的“质量间隙”难题。就在官宣前一天，数学与人工智能咨询专家组（AGMAI）发文警示这种优先向特定人群开放内容的信息管控行为，并在成果公布后敦促 OpenAI 立即公开物理学成果的自然语言文稿与 Lean 形式化证明，理由是按 OpenAI 自己的说法，形式化工作已经完成。
做AI项目，先看AI雷达 - AiRadar.com.cn · 全部AI快讯 →