OpenAI 在 10 月 26 日宣布，其内部模型产出了三项横跨数学、计算机科学和物理的研究成果：数学上证明了所有维度的局部光滑猜想，顺带解决了 Kakeya 猜想与 Stein 限制猜想；计算机科学上给出了指数时间假设（ETH）不成立的证明；物理上给出了四维相互作用量子场论（包括量子色动力学 QCD 和纯 Yang-Mills 理论）的存在性证明，其中 Yang-Mills 存在性还是克雷千禧年大奖难题的一部分。
三项成果的“可信度进度条”并不一样。数学与计算机成果已用 Lean 形式化验证——ETH 的反证由模型在 10 月 16 日得出、次日完成 Lean 形式化，数学成果则是 10 月 18 日得出、次日形式化，相关材料已公开。物理成果的材料暂不公开，由诺贝尔物理学奖得主 David Gross 牵头的专家组先行整理成文。ETH 的审查小组由该假设的原始提出者之一 Russell Impagliazzo、Ramamohan Paturi 与 MIT 的 Ryan Williams 领衔，三人公开声明：参与审查不等于为结论背书，且未签保密协议、未收报酬，OpenAI 已同意公开全部原始数据并资助一场研讨会。
为什么值得关注：如果 ETH 真被推翻，过去几十年里建立在它之上的数百篇“问题很难算”的硬度结论都要重估，理论计算机科学的地基会动一动。但先别急着下结论：三项成果都还没经过同行评审，OpenAI 自己也把它们定性为“原始研究数据”，而不是已确立的科学结论。就在上周，OpenAI 还披露过前沿模型训练“断网”一事——同一批内部模型既在产出惊人成果，也在安全上出过状况，两种消息要放在一起看。
一句话总结：这是 AI 从“帮人做研究”走向“自己产出可能改写教科书的结论”的一次高调宣示，但宣示和证实之间，还隔着学界独立检验这一关。
来源：OpenAI，原文：OpenAI Says Its Models Produced Three Proofs in Math, CS, and Physics
没有回复内容