WEB3 INFRASTRUCTURE / Web3 基础设施 · SIGNAL ANALYSIS

两台模型同一天，证伪了一个25年猜想

OpenAI 与 Anthropic 于 10 月 26 日数小时内先后宣布：各自的内部模型证伪了 1999 年的指数时间假设，核心发现同为 10 月 16 日，两份证明均已 Lean 形式化。

ISSUE 87 · 2026-10-27 · SOURCE / Tech Times 报道 · 状态 / VERIFIED 已核实 · TOKENTA SIGNAL RESEARCH

AI × MATHREPORTED + ANALYSIS

OCT 16

DISCOVERY DAY

两家实验室核心发现的同一天，也是各自内部模型独立得出结论的日期。

14M

OUTPUT TOKENS

Anthropic 内部 Claude 研究模型完成核心算法的输出规模，且无人工输入。

10^108

THRESHOLD

新算法优势显现的变量规模门槛，现实求解器不受影响。

KEY TAKEAWAYS / 要点

WHAT HAPPENED发生了什么

10 月 26 日，OpenAI 宣布其内部模型证伪了指数时间假设（ETH）：一个 1999 年提出的猜想，断言 3-SAT 无法在次指数时间内求解。核心发现的日期是 10 月 16 日，次日完成 Lean 形式化。

数小时后，Anthropic 发布了 Claude 的论文《A 2^o(n) Time Algorithm for 3-SAT》，同样证伪 ETH，核心算法同样发现于 10 月 16 日，由内部 Claude 研究模型以 1400 万输出 token、零人工输入完成。

两家实验室在同一天、用各自的模型、独立得到同一结论。OpenAI 同时宣布另两项结果：局部光滑猜想在所有维度的证明，以及四维量子场论的存在性证明，并拿出 500 万美元交由 Simons 基金会支持后续研讨。

两份证明都经过 Lean 4 机器验算：证明助手逐行检查逻辑一致性。但 Lean 只验证形式推导是否自洽，不验证定理的表述是否对应真实的数学问题。

复核小组由猜想提出者 Impagliazzo、Paturi 与 MIT 的 Williams 牵头，三人已在公开信中划清界限：参与不等于背书。真正的裁决权在学界，不在发布方。

ETH 二十多年来是条件硬度结果的基石：图论、计算生物学、数据库优化、参数化复杂性与密码学中数百篇论文以它为前提，推导哪些算法不可能更快。

即便证伪成立，大部分论文的结论不会立刻作废：它们需要被重写，把条件结论换成新的前提或新的证明。松动的是地基，不是整栋楼。

Anthropic 的论文自己划出了边界：新算法的优势只在变量数超过 10^108 的公式上才显现。对现实中的 SAT 求解器，这个结果改变不了任何事。

这是理论计算机科学的胜利，不是工程的胜利。它的意义在问题版图上，不在产品发布会上。

两台模型同一天证伪同一猜想，戏剧性不在巧合，而在分工的转移：发现可以交给机器，裁决仍然属于学界。Tokenta Signal 的判断不变：AI 数学的下一阶段，瓶颈不是产出证明的速度，而是人类验证证明的带宽。

本篇的边界：两份证明均已用 Lean 4 形式化并公开，但尚未经过学界独立复核；提出猜想的 Impagliazzo、Paturi 与 Williams 明确表示参与复核不等于背书。结论成立与否，仍待验证。本文不构成任何投资建议。

原文确认发布要点：OpenAI 与 Anthropic 于 10 月 26 日数小时内先后发布 ETH 证伪，核心发现同为 10 月 16 日，两份证明均已 Lean 4 形式化并公开，复核小组表示参与不等于背书。

更正政策：如本页事实有误，我们保留更正记录并在本页标注。联系 contact@tokenta.com