OpenAI 10月26日在它公开的数学资料库里说，新加入两份由内部模型写出的论文，都附有Lean形式化证明，其中一份的题目是《指数时间假设是错的》。这篇论文给出一个确定性算法，能在次指数时间和多项式空间内，准确数出宽度固定的合取范式公式有多少组满足的赋值；OpenAI说，把它用在3-SAT问题上，就推翻了指数时间假设。另一篇论文证明了欧几里得波动方程的局部光滑性在二维及以上的空间都成立，还由此推出挂谷极大猜想和挂谷维数猜想。
受影响的首先是理论计算机科学的研究者：加州大学圣迭戈分校的因帕利亚佐（Russell Impagliazzo）、帕图里（Ramamohan Paturi）和麻省理工学院的威廉斯（Ryan Williams）在致同行的公开信里说，指数时间假设帮助组织了几十年的研究，如果这个说法成立，会改变理论计算机科学的一个重要部分。OpenAI说，由这三人带领的一个独立工作组会审查和解释这个证明，应工作组的要求，相关材料已经马上公开，让别人也能审查。
三人在信里说，他们的参与不应被看作是在认证这个说法；这么重要的结果需要仔细、独立的审查。他们也提出，越来越多由人工智能得出的结果，会带来提前接触结果、利益冲突和学术功劳怎么分的问题，邀请同行讨论。
OpenAI的资料库收了721份由内部模型写出的论文，大约42%的主要结果有Lean形式化证明；资料库的说明写道，没有形式化的结果可能有问题。本月7日，OpenAI因为一处正负号错误，撤回了三份论文，另外修改了14份。OpenAI说，这些论文最好看成原始研究资料，而不是成熟的学术论文，学术功劳和优先权的问题完全交给数学界决定。
- 2026年10月6日OpenAI直接公布模型的输出
- 2026年10月7日因一处正负号错误撤回三份论文，修改14份
- 2026年10月26日加入推翻指数时间假设和证明局部光滑性的两份论文
数据：OpenAI数学资料库的更新记录
综合OpenAI、三名理论计算机学者的公开信报道
