OpenAI 公布数学、计算机科学与物理三项发现，并引入学术专家协作新方式
原标题：OpenAI announces three big science discoveries and a new way to work with academics
AI 摘要
OpenAI 宣布在数学、计算机科学和物理学领域取得三项“重大”发现，并首次引入外部专家作为“shepherd”指导结果验证。计算机科学方面，其模型证明被广泛相信的指数时间假设（ETH）为假，相关 AI 输出和 Lean 证明已发布在 GitHub，由 Russell Impagliazzo、Ramamohan Paturi 和 Ryan Williams 等专家小组审查。数学方面，模型给出局部平滑猜想及 Kakeya 猜想、Stein 限制猜想的证明，OpenAI 直接发布模型输出。物理学方面仅披露了四维相互作用量子场论（含 QCD 和标准模型统一完成）的严格存在性证明，由 David Gross 等专家指导。OpenAI 同时承认这种指定专家优先获取结果的做法可能有问题，而其数学顾问小组 AGMAI 昨日建议 AI 公司不要采用此类做法。
正文节选
Less than a month after its mass release of hundreds of manuscripts that it said contained solutions to long-standing mathematics questions, OpenAI is back with three more “major” discoveries in math, computer science, and physics. What’s different this time is the choice to have external experts that OpenAI describes as “shepherds” guiding the results in computer science and physics, while for the math problem it says that they advised it to release the AI output for researchers to work through