OpenAI 与 Anthropic 的对垒式证明令科学家震惊

OpenAI 发布三项由内部大语言模型生成的重大证明，涉及数学、物理与计算机科学。三项结果分别在所有维度解决 Kakeya 问题、声称证明 Yang-Mills 问题的“存在性”部分，并以略快于指数时间的 3-SAT 算法反驳指数时间假说（ETH）。数小时后，Anthropic 基于其内部模型发布独立结果，同样反驳 ETH。生成证明的模型仍不公开，所用提示词、计算时长与思维链输出均未公布；相关发布继续与 OpenAI 组织的数学与人工智能顾问组（AGMAI）的建议相抵触，该顾问组已呼吁 OpenAI 公开一篇与 Yang-Mills 问题相关的专家论文。针对 ETH 结果，OpenAI 已邀请其提出者 Impagliazzo、Paturi 与 MIT 的 Williams 等外部专家独立核查，并将赞助一场相关计算机科学会议。