OpenAI最大声明获谨慎欢迎，涉及Erdős、Navier-Stokes及符号错误

OpenAI 任命了科学家来验证其最新主张——即其内部模型已成功推翻指数时间假设——但这些科学家拒绝背书该主张，并指出该 AI 实验室此前的数学公告往往存在夸大其词的情况。

由 Altman 领导的实验室声称已经破解的指数时间假设， 是对布尔可满足性问题求解难度的衡量，, 这一问题与 P versus NP 问题相关，且是支撑数百篇计算机科学论文的猜想。

麻省理工学院的 Ryan Williams 以及加州大学圣地亚哥分校的 Russell Impagliazzo 和 Ramamohan Paturi 将领导一个小组，独立验证最初由 Impagliazzo、Paturi 和 Francis Zane 提出的关于该假设的结果。

数学界尚未接受OpenAI的ETH声明

领导审查该声明的三个研究人员 在一封公开信中写道 他们的“参与不应被视为对该声明的认可”，并补充说，“如此重要的结果需要仔细、独立的审查。”

在X平台上发文称， 目前实施和最近宣布的关税预计将在未来几个月推高通胀，并解释了美联储谨慎行事的原因。 该小组未签署保密协议（NDA），也不会因“开放和独立的审查”工作获得报酬，这项工作是在“OpenAI内部模型声称推翻了ETH”后要求他和同事完成的。

Williams还补充道， OpenAI同意 发布该结果背后的所有原始数据的要求。该AI实验室还同意资助一场关于其影响的会议。

为何数学界在没有证据的情况下不支持OpenAI的声明

之前的OpenAI 在数学领域的声明 进展并不顺利。一个独立的研究团队正在对OpenAI的主张进行独立审查，尽管该实验室在10月16日通过Lean验证了内部模型发现的反驳结果，但次日便发布了相关说明和Lean证明。这些内容已发布至GitHub。

Lean是一种用于机器检查数学证明的语言。然而，即使这种方法也被 剑桥大学的Anders Hansen及其合著者所驳斥，他们 在一篇论文中 指出，经过Lean验证的形式化证明可能在编译时成功，却无法与其旨在表示的自然语言证明相匹配。他们将此命名为 OpenAI的纳维-斯托克斯方程 研究作为案例研究。

维护埃尔德什问题网站的数学家Thomas Bloom对OpenAI副总裁Kevin Weil于2025年10月提出的GPT-5解决了10个此前未解决的埃尔德什问题的说法予以回应，称其为“严重的歪曲事实”。

Bloom解释说，该模型只是呈现了他个人此前不知晓的现有论文，而非找到了保罗·埃尔德什提出的著名猜想的新解。

这一事件引发了Meta的Yann LeCun和Google DeepMind的Demis Hassabis的公开嘲讽。

10月6日，OpenAI在大规模发布722篇涉及372个数学问题的预印本后一天内进行了三次撤回，原因是符号错误导致一个论点及两篇相关论文失效。该AI实验室还修订了另外14篇论文。康奈尔大学数学家Alex Townsend预计，随着时间的推移，还会有更多错误被披露。

然后是 纳维-斯托克斯方程风波 9月时，数学家Tristan Buckmaster指控OpenAI使用了一种他本人及其同事当时正在研究的方法，而OpenAI此前曾宣称其模型已解决了纳维-斯托克斯方程问题。

OpenAI否认了这一说法。

两项新成果与三种发布策略

ETH是OpenAI在同一公告中提出的三项主张之一。

OpenAI表示，其数学模型证明了由Christopher Sogge于1991年提出的局部平滑猜想，且该证明适用于所有维度，这也将同时解决Kakeya猜想和Stein限制猜想。实验室发布了相关论文及Lean形式化证明。

物理学表明，这些模型证明了某些量子场论在四维空间中是存在的，其中包括克莱数学研究所千禧年大奖难题的一部分。由诺贝尔奖得主大卫·格罗斯领导的一个小组决定暂时不公开AI相关材料，而是先整理研究成果本身。

OpenAI表示，他们并未寻求学术署名，并已向西蒙斯基金会捐赠500万美元，用于举办关于AI生成结果的研讨会。该公司承认其三种发布方式各有利弊，并表示希望收集有关哪些方式更有效的反馈。

如果您正在阅读这篇文章，说明您已经领先一步。请继续通过我们的通讯保持关注。