新闻 · The Verge AI
OpenAI公布三项重大科学发现，并推出与学术界合作的新方式
在OpenAI大规模发布数百篇手稿、声称其中包含长期悬而未决的数学问题解答后不到一个月，该公司又公布了数学、计算机科学和物理学领域的另外三项“重大”发现。这次的不同之处在于，OpenAI选择让外部专家——其称之为“牧羊人”——来引导研究成果。
en
英文原标题：OpenAI announces three big science discoveries and a new way to work with academics
本文为英文原文的机器翻译摘要，原文见：The Verge AI ↗
- OpenAI 宣布在数学、计算机科学和物理学领域取得三项“重大”发现，并首次引入外部专家作为“shepherd”来引导结果验证。
- 数学成果为欧几里得波动方程的局部光滑性证明，并由此推出 Kakeya 极大猜想、维数猜想及 Stein 球面限制估计；OpenAI 直接发布模型输出，未附解释。
- 计算机科学成果声称证明指数时间假设（ETH）为假，给出固定宽度 CNF 公式满足赋值计数的确定性亚指数时间算法；由 Russell Impagliazzo、Ramamohan Paturi 和 Ryan Williams 领导的独立小组将审查并解释证明。
- 物理学成果是包含规范场和费米子的四维相互作用量子场论的数学严格存在性证明，涵盖 QCD 和标准模型统一完成；David Gross 将领导小组指导该工作，但完整信息尚未发布。
- OpenAI 的数学顾问小组 AGMAI 建议 AI 公司不要采用指定特定人员优先获取输出的做法，并建议未来在学术仓库发布输出、提供 Lean 形式化证明等。
关键数据
- OpenAI 在 10 月 6 日曾大规模发布数百份手稿，声称包含长期数学问题的解决方案。
- ETH 由 Russell Impagliazzo 和 Ramamohan Paturi 等人于 1999 年提出。
- 纽约大学 Hong Wang 因解决三维 Kakeya 猜想获国际数学联盟颁发的菲尔兹奖。
引语
- we recommend that AI companies do not adopt
为什么值得看：OpenAI 首次引入外部专家审查 AI 研究成果，并公开征求社区对 AI 生成突破的规范意见，可能影响未来 AI 科学发现的验证与发布方式。