OpenAI迄今为止最大的主张在埃尔德什、纳维-斯托克斯方程及一个符号错误后获得谨慎欢迎_新闻

免责声明：内容不构成买卖依据，投资有风险，入市需谨慎！

OpenAI迄今为止最大的主张在埃尔德什、纳维-斯托克斯方程及一个符号错误后获得谨慎欢迎

2026-10-27 21:52:02

科学家拒绝背书OpenAI关于破解指数时间假设的主张

OpenAI任命了多位科学家，旨在验证其最新声称：即内部模型已成功驳斥“指数时间假设”（Exponential Time Hypothesis, ETH）。然而，这些科学家已明确拒绝为该主张背书。他们指出，鉴于该AI实验室此前在数学声明上屡有夸大之嫌，公众应保持审慎。

指数时间假设是衡量布尔可满足性问题求解难度的指标。该问题与著名的P versus NP问题紧密相关，也是支撑数百篇计算机科学论文的基础猜想。OpenAI声称已攻克这一难题。

麻省理工学院的Ryan Williams、拉塞尔·伊姆帕利亚佐（Russell Impagliazzo）以及加州大学圣地亚哥分校的Ramamohan Paturi将领导一个独立小组，负责对最初由伊姆帕利亚佐和帕图里与弗朗西斯·赞恩提出的假设进行结果验证。目前，数学界尚未接受OpenAI的这一ETH主张。

独立审查组强调：参与不等于认证

负责核查该主张的三位研究人员在一封致同行的公开信中写道：“我们的参与不应被视为对该主张的认可。”他们补充道：“如此重大的成果需要经过仔细、独立的审查。”

Williams在其X账号上表示，该小组未签署保密协议（NDA），且不会因这项“开放且独立的审查工作”获得报酬。这项工作是在OpenAI声称其内部模型产生了驳斥ETH的结果后，由他及其同事被要求进行的。Williams还指出，OpenAI同意了他们发布该结果背后所有原始数据的要求。此外，该AI实验室同意资助一场探讨其影响的会议。

为何学界在无证据支持下不支持OpenAI的主张

过去三次，OpenAI宣布取得数学突破。然而，每次由数学家核查工作时，都会发现其宣称的内容与实际经得起推敲的内容之间存在差距。

尽管OpenAI于10月16日声称其内部模型找到的反例已通过Lean语言验证，并于次日完成验证，但一个独立的研究团队仍在对其主张进行独立审查。相关的论述文稿及Lean证明已发布至GitHub。Lean是一种用于机器检查证明的语言。然而，这种方法本身也受到了剑桥大学的Anders Hansen及其合著者的质疑。他们在论文中指出，经过Lean验证的形式化证明可能在编译时通过，却未能准确代表其所对应的自然语言证明。他们将OpenAI的Navier-Stokes（纳维-斯托克斯方程）研究作为案例进行了分析。

维护Erdős问题网站的数学家Thomas Bloom曾对OpenAI副总裁Kevin Weil在2025年10月声称GPT-5解决了10个先前未解决的Erdős问题一事，回应称这是“严重的歪曲”。Bloom解释说，该模型只是呈现了他个人此前不知晓的现有论文，而非找到了保罗·埃尔德什提出的著名猜想的新的解决方案。这一事件引发了Meta的Yann LeCun和Google DeepMind的Demis Hassabis等人的公开嘲讽。

2025年10月6日，OpenAI大规模发布了722篇预印本，涉及372个数学问题。由于一处符号错误导致其中一个论点及两篇依赖该论点的论文无效，OpenAI不得不在一天内撤回三篇文章，并修订了另外14篇。康奈尔大学数学家Alex Townsend预计，随着时间的推移，还会有更多错误被披露。

紧接着在9月发生了Navier-Stokes风波。数学家Tristan Buckmaster指控OpenAI使用了一种他和同事正在研究的方法，而当时OpenAI声称其模型已经解决了Navier-Stokes问题。OpenAI否认了这一指控。