# OpenAI 宣称模型否证指数时间假设，并换了一种发布方式：先请提出者本人来检验
- 事件 ID：evt-20261027-04
- 日期：2026-10-27　截至：2026-10-27 08:12（北京时间）
- 证据等级：企业宣称、已证实
- 来自：https://www.newtoken.link/daily/2026-10-27#evt-20261027-04
为什么重要：10-26 那期写了千余名数学家因 OpenAI 一次放出 722 篇稿件而承诺拒绝合作。这次发布几乎是逐条回应：数量从几百篇减到三项，每项都有点名的外部检验人，形式化证明先行，并主动放弃署名。如果 ETH 被否证经得起检验，它的影响远超数学界：大量算法领域的「这个问题不可能更快」的结论需要重画边界。我的立场是，比结论本身更值得记下的是发布流程的变化——前沿实验室开始承认，AI 产出的结果要变成科学认识，验证成本必须由它自己组织和付钱，而不是丢给学界。反方检验：Lean 验证的是形式化陈述，未必与人们通常理解的猜想完全一致，已有研究者专门指出这一点；三项结果均未经独立同行评审，OpenAI 自己也说仍待学界确认；物理部分材料未公开，外界目前无法检验。
## 来源（3 条）
- [OpenAI：Working with academic communities to build scientific understanding](https://openai.com/index/building-scientific-understanding-with-academic-communities/)（企业宣称）
- [GitHub：openai/math 形式化材料](https://github.com/openai/math/blob/main/lean/docs/378.md)（已证实）
- [explainx：Lean 验证的边界](https://explainx.ai/blog/openai-exponential-time-hypothesis-false-kakeya-yang-mills-three-results-lean-collaborations-2026)