一句话看懂：OpenAI 于 10 月 27 日公布三项由内部大模型生成的证明，涉及 Kakeya 猜想、杨-米尔斯存在性问题及计算机科学；Anthropic 有相近工作并行推进。这批结果触及数学与物理长期难题，但闭源模型、未公开提示词和流程，已引发数学界对可信度和透明度的争议。
事件核心：发生了什么
据《Scientific American》报道，OpenAI 在几周前放出数百条 AI 生成的数学“进展”之后，又公布了约三项大规模证明，横跨数学、物理和计算机科学。其中，Kakeya 猜想此前由 Hong Wang 与 Joshua Zahl 于去年在三维修正，并因此获今年菲尔兹奖；OpenAI 称其模型已在四维以及所有维度上给出结论。另一项针对千禧年难题杨-米尔斯理论，OpenAI 声称证明了“存在性”部分，而“质量间隙”部分仍未解决。报道指出，产出这些证明的大模型仍为闭源，具体提示词、计算耗时和思维链输出均未公开；两项结果与 Anthropic 的相关工作高度接近。
为什么重要
这是大模型从“辅助推导”走向“产出完整数学证明”的又一次高调尝试，直接触及数学、物理的基础问题。但报道同时点出程序争议：OpenAI 的做法与其自己召集的数学与 AI 咨询组（AGMAI）的建议相冲突。AGMAI 在结果发布前一天指定专家负责对外说明，而涉及杨-米尔斯问题的相关论文至今未公开，该组织已公开要求 OpenAI 发布。这意味着行业竞争正在从模型能力延伸到“可验证的科学产出”，而闭源与流程不透明会削弱外部复核。
对用户/开发者/创作者的影响
目前公开信息显示，这些证明尚属研究发布，不是可直接调用的产品功能，也没有证据表明相关论文已经同行评审。对开发者和研究者而言，短期价值在于观察大模型在高难度推理任务上的边界，以及是否会出现可复现的评测方法；对普通用户和内容创作者，影响有限，更多是行业叙事层面的变化。企业若考虑把大模型用于科研辅助，仍需自行建立验证流程，不能把“模型声称已证明”当作结论。
AI 工具推荐
想把多个 AI 模型放在一个入口？
GamsGo AI 集成 ChatGPT、DeepSeek、Gemini、Claude、Midjourney、Veo 等常用模型，适合写作、绘图、视频和日常 AI 工作流。
推广链接：通过此链接购买，我可能获得佣金，不影响你的价格。
值得关注的后续
一是杨-米尔斯相关论文是否公开，以及 AGMAI 的审查机制能否真正落地；二是 OpenAI 与 Anthropic 相近结果能否被独立数学界复核，结论是否成立；三是闭源模型在科研场景中的透明度和可复现性争议，是否会推动新的发布规范。
