跳到正文
EVENT / 热点事件历史事件

OpenAI 声称证明指数时间假设错误并解决四维量子场论存在性

1 篇报道1 个报道来源4 天前更新

当前事件综述（非历史快照）

AI 综述

OpenAI 声称其 AI 系统证明了计算复杂度理论中的指数时间假设（ETH）为假，并证明了布尔可满足性问题（SAT）可在指数时间之外求解，该结果若成立将影响大量依赖 ETH 的研究。OpenAI 同时表示其 AI 已证明四维量子场论在四维空间（三空一时）中存在。为验证这些成果，OpenAI 请求外部专家作为‘牧羊人’检查 AI 生成的证明，并将数学及计算机科学证明翻译至 Lean 系统以供计算机逐步核查。

AI 根据报道生成 · 4 天前更新

最新进展10月27日 20:37
OpenAI声称证明指数时间假设错误并解决四维量子场论存在性

事件探索工作台

同一时点联动报道、关系与证据。

EVENTGRAPH EXPLORER
在独立工作台打开 ↗
EVENT REPLAY阶段 1 / 1

此时新增 ·OpenAI声称证明指数时间假设错误并解决四维量子场论存在性

本次回放累计
1
一手资料
0
报道来源
1

按本站首次发现时间回放。历史图谱与证据使用同一时点；完整综述与热度仍是当前视角。

事件进展

1 条进展

  1. 2026/10/27 20:41:28

    OpenAI声称证明指数时间假设错误并解决四维量子场论存在性

    The Decoder

按本站首次收录时间筛选；只显示代表报道在此时点前已收录的进展。当前事件归组可能后来修订，不是完整历史快照。

历史重建（非精确快照）：按首次收录与关系记录时间筛选；实体名、关系陈述和事件归组可能已经被后来修订，不能将其当作当时原始记录。 下方综述与完整来源索引仍属于当前视角。

Story 路线

从第一份公开证据到最新进展的逐站路线；每一站都带着自己的证据和不确定性。

  1. 110月27日 00:00收录于 10月27日 20:41单一来源有修订

    OpenAI 请外部专家验证 AI 数学、计算机科学和物理证明

    核对原始报道 ↗ The Decoder在探索工作台回到这个时点

不确定性标注指出需要核对原文的地方，不是已证实的因果。

完整来源索引（截至目前）

目前公开的报道索引，不属于历史回放。

一手资料 · 0 篇

目前尚未收录这一类可核实资料，不能把单方说法当作多方证据。

第三方报道 · 1 篇

不同报道并不自动代表观点冲突；阅读原文核对事实、条件和发布日期。后续来源加入后此处会自动更新。

报道时间线

沿着报道，了解事件的不同侧面。

10月27日
  1. The Decoder精选
    OpenAI声称证明指数时间假设错误并解决四维量子场论存在性

    OpenAI声称其AI系统在数学领域证明了指数时间假设（ETH）为假，该假设是计算复杂度理论的基石，若成立将使大量依赖ETH的研究失去基础。在计算机科学方面，OpenAI称证明了布尔可满足性问题（SAT）的求解速度可超越指数增长，该结果与P versus NP问题密切相关。

本事件热度走势

可比范围当前
3
可比范围峰值
1010月27日 21:00
近 24 小时变化
-51%

趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。