OpenAI 公布数学、计算机科学与物理突破,研究者不满其选择性公开
OpenAI 周一宣布在数学、计算机科学和物理领域取得突破,并称正与专家“shepherd”合作决定如何分享成果,三项结果采用不同公开策略:数学结果直接放出 AI 输出,计算机科学结果将组建外部团队解释,物理结果暂不公开。
OpenAI 周一宣布在数学、计算机科学和物理领域取得突破,并称正与专家“shepherd”合作决定如何分享成果,三项结果采用不同公开策略:数学结果直接放出 AI 输出,计算机科学结果将组建外部团队解释,物理结果暂不公开。
OpenAI 发布三项数学难题的解答,其中一项声称推翻了计算机科学中长期存在的指数时间假设(ETH),Anthropic 随后也发布了自己的反驳。MIT 教授 Ryan Williams 与 ETH 1999 年原论文作者 Russell Impagliazzo、Ramamohan Paturi 一起组织计算机科学界的回应,先发布公开信征集反馈并讨论 AI 贡献的规范。
推荐理由:围绕 OpenAI 与 Anthropic 宣称推翻 ETH 的争议,呈现计算机科学界对 AI 数学成果的回应与后续验证安排。
OpenAI请外部专家担任“shepherd”审阅其AI在数学、计算机科学和物理领域产出的证明,并按领域分别处理。数学与计算机科学证明已被翻译成Lean,但Lean只检查证明是否成立,命题本身是否准确仍需专家判断。计算机科学结果称证伪了指数时间假设(ETH),数学结果称在所有维度证明了局部光滑猜想,物理结果称证明了四维量子场论的存在性,但仅覆盖Yang-Mills问题的存在性部分,不含质量间隙。
推荐理由:原文梳理了OpenAI三项AI数学证明的外部审阅安排与Lean形式化细节,读者可据此了解AI科研成果如何被独立核验。
OpenAI 公布数学、计算机科学与物理三项 AI 发现,其中计算机科学成果声称推翻了长期被广泛相信的 Exponential Time Hypothesis(ETH),相关论文与 Lean 证明已发布到 GitHub。
推荐理由:OpenAI 公布三项 AI 产出成果,并首次引入外部专家把关,读者可据此观察 AI 科研成果的验证与署名规范之争。