OpenAI：我们的模型找到了 80 年前 Erdős 猜想的反例，研究人员在 OpenA…

说话人的历史观点 + 利益关联

OpenAI 近期持续在 o 系列模型（o3、o4）上押注「数学推理」作为核心能力展示。Sam Altman 曾在多个场合将 AI 解决 IMO 难题、证明数学定理作为 AGI 进展的标志性事件。这次通过播客形式、由 OpenAI 研究人员出面讲述「数学家与模型合作」的故事，延续了同一条叙事主线：将 AI 从「对话工具」重新定位为「科学发现伙伴」。

这一立场的背后有明确的商业逻辑：在 GPT-5 迟迟未发布、ChatGPT 增长趋于平稳的背景下，OpenAI 需要新的能力叙事来维持投资者和公众的信任。「发现新知识」比「回答问题」高出一个量级，是最具说服力的能力证明。

这次表态是延续还是转变？

这是 Altman 时代「AI as Scientist」叙事的延续和升级。之前 o3 解决 ARC-AGI 等基准测试属于「通过考试」，这次直接对标「知识创造」——如果成立，意味着 AI 能力的质变。

但值得注意的是，播客分享的形式意味着这是一个经过精心包装的传播事件，而非经过同行评审的学术成果。OpenAI 选择了最容易引发媒体传播的框架：「数学家 + AI 合作发现反例」。

反共识 push back

1. 数学验证的滞后性问题。