OpenAI 攻克多项顶级科学难题并试验专家协作披露机制

OpenAI 宣布其 AI 模型在数学、计算机科学和物理学三大基础学科取得突破性进展，声称解决了包括局部光滑猜想（进而解决挂谷猜想）、证伪指数时间假设（ETH）以及提出量子色动力学杨-米尔斯理论严格存在性证明在内的多项顶级难题。其中，数学与 CS 成果已通过 Lean 工具完成形式化验证并开源，而物理成果目前正由诺贝尔奖得主等外部专家进行审查，尚未获得学术界独立确认。

多源信交叉显示，此次发布不仅涉及技术突破，更是一次关于“AI 如何融入科学共同体”的方法论实验。OpenAI 引入了“牧羊人”式的外部专家协作机制，针对不同类型的成果采用了三种差异化披露策略：数学结果建议研究者自行解读 AI 输出；CS 与物理结果则由外部专家引导审核或全权主导发布。这种将 AI 产出视为“原始研究数据”，并通过特定机制转化为社区认可的“科学理解”的做法，旨在缓解此前大规模发布引发的争议，提升学术界的信任度与协作效率。

这一事件标志着 AI 从辅助工具向独立科研主体的角色转变，其证伪 ETH 可能颠覆大量依赖该假设的复杂性理论研究，暗示未来算法优化的新方向。同时，杨-米尔斯理论的进展若获证实，将对千禧年大奖难题产生深远影响。OpenAI 通过试验专家协作披露机制，试图建立一套可复制的 AI 科学发现验证范式，这可能重塑未来基础科学研究的知识生产与传播流程。