OpenAI与Anthropic的对决证明令科学家震惊 | 科学美国人

OpenAI又扔出了一批AI生成的数学证明，这次直接震动了数学、物理和计算机科学三个领域。10月27日，该公司发布了三份重量级证明，分别涉及调和分析中的Kakeya猜想、粒子物理中的Yang-Mills问题以及计算机科学领域的难题。消息一出，相关领域的专家至今仍在消化这些结果。这距离OpenAI上次向一个本已陷入争议的数学领域投放数百个AI生成的数学突破，仅仅过去了几周。 这批新证明之所以引发巨大争议，核心在于OpenAI的做法与其自己组织的专家顾问组AGMAI（数学与人工智能咨询小组）的建议直接相悖。AGMAI是OpenAI在数学家群体广泛批评后专门成立的专家小组，曾明确指定专家负责将成果引入公共领域，并强调“没有任何科学理由继续拖延”发表。然而，OpenAI不仅没有公开生成这些证明的大语言模型（LLM），连使用的具体提示词、计算耗时和“思维链输出”都未披露。更微妙的是，其中两项结果与竞争对手Anthropic的相关工作高度重合，而涉及“百万美元”Yang-Mills问题的论文至今仍未公开。这种“黑箱式”发布被外界称为“slop drop”（粗制滥造的内容倾倒），让学术界对AI成果的可验证性打上问号。 从具体成果看，Kakeya猜想方面，OpenAI的内部模型此次解决了所有维度下的问题——去年数学家Hong Wang和Joshua Zahl刚证明三维情形并因此获得菲尔兹奖，四维问题在上个月的“slop drop”中被OpenAI攻克，如今高维空间也被拿下。Yang-Mills问题是克雷数学研究所2000年悬赏百万美元的七个千禧年大奖难题之一，涉及粒子物理标准模型的数学基础是否成立，分为“存在性”和“质量间隙”两部分。对跨境电商卖家和AI从业者而言，这件事的启示在于：AI在基础科学领域的产出速度已远超学术界的验证和消化能力，而模型透明度、成果归属和发布伦理正在成为AI公司竞争之外的新战场。当AI生成的“突破”越来越频繁地出现却缺乏可复现路径时，如何甄别真伪、如何与AI工具协作而非被其裹挟，是每个技术使用者都需要面对的问题。