OpenAI发布三项科学发现，学者介入指导成果发布

OpenAI在10月26日发布了三项新研究成果，上次大规模数学稿件发布是10月6日。这次在计算机科学和物理学两项上，外部专家以“shepherds”身份参与发布指导；数学问题则直接放出AI输出，供研究者自行解释。

三项成果都已加入GitHub。一是关于欧几里得波动方程的局部平滑证明，附带的辅助偏微分方程推导出Sogge局部平滑，并连带解决了Kakeya极大猜想和Stein球形限制估计。二是《Exponential Time Hypothesis is False》，文中给出了在次指数时间内精确计数固定宽度CNF公式满足赋值的确定性算法，其中3-SAT情形直接否定了ETH。第三项物理成果未完整公开，仅描述为四维含规范场与费米子的量子场论存在性证明，涉及QCD和标准模型的统一完成。

需要强调的是，ETH合作组的三位学者（Russell Impagliazzo、Ramamohan Paturi、Ryan Williams）正是1999年提出ETH的专家。他们决定今天就在GitHub公开AI输出和Lean形式化证明。OpenAI还发布公开信，征集对AI突破成果的审查方式与规范意见。

• 公开信提出三个问题：早期访问AI成果的期望标准、成果贡献与检验修正工作的奖励机制、如何支持学生和研究者适应新方法。
• 数学突破方面，结果也解出了Kakeya猜想，而就在几个月前，NYU教授Hong Wang刚靠证明三维Kakeya猜想获得菲尔兹奖。

OpenAI承认这种指导模式可能带来问题。其AGMAI数学顾问小组昨天建议，AI公司不应采用指定人员优先获取成果的做法，理由是准入不平等、借用声誉、选择偏差等。他们建议未来在学术库发布成果，附带Lean形式化证明和问题选择说明。