OpenAI发布三项AI科学突破并引入“牧羊人”验证机制
OpenAI宣布在数学、计算机科学和物理领域取得三项重大AI生成成果，并首创由外部专家主导的“牧羊人”发布流程以验证和解释这些原始研究数据。
OpenAI于2026年10月26日宣布，其内部模型在数学、计算机科学和物理学领域取得了三项重大发现：调和分析中的局部平滑猜想（涉及Kakeya猜想）、计算复杂性理论中指数时间假设（ETH）的反证，以及四维量子色动力学（QCD）的存在性证明。OpenAI将这些结果定义为“原始研究数据”，并推出了一种新的发布策略，邀请外部专家作为“牧羊人”来组织团队理解和解释这些成果。
针对计算机科学领域的ETH反证，OpenAI组建了一个由Russell Impagliazzo、Ramamohan Paturi和Ryan Williams领导的协作小组。Impagliazzo和Paturi是ETH的原始提出者，Williams则是该领域的权威专家。OpenAI承诺公开所有原始数据以供独立验证，并资助一场会议以探讨这一结果对算法设计和复杂性理论的广泛影响。对于数学领域的局部平滑猜想，OpenAI选择直接公开AI输出和Lean形式化证明，让研究者自行组织解释工作。而在物理领域，OpenAI则委托外部协作组决定材料的发布时机。
这一举措旨在解决AI生成科学成果的信任危机。通过遵循透明、无学术署名、认可贡献和独立性四项原则，OpenAI试图建立一种新的范式，即由人类专家负责将AI的原始输出转化为可被学术界接受的科学知识。尽管这些结果尚未经过完整的同行评审，且其正确性仍待社区验证，但这种“人机协作验证”的模式可能成为未来AI参与前沿科学研究的重要参考。