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 科研成果的验证与署名规范之争。