先说：OpenAI 宣布证伪的 ETH 是电脑科学的「指数时间假说」，不是以太坊，对比特币与以太坊钱包没有直接威胁。 但这个假说确实可能动摇数百篇论文的基础。 （前情提要：OpenAI 推翻的 ETH 不是以太坊！ 「指数时间假说」是什么？ ） （背景补充：OpenAI 推翻指数时间假说、解出千禧年杨–米尔斯：三项 AI 科学突破震撼学术界） 再次强调：这次被 OpenAI 宣布证伪的 ETH，是电脑科学的「指数时间假说」（Exponential Time Hypothesis），不是以太坊，对比特币与以太坊钱包没有直接威胁。 你是不是也好奇，指数时间假说若真的被证伪，会发生什么事？ 下文我们就依序回答三件事：这个 ETH 是什么、对电脑科学的冲击多大、加密货币钱包会不会受影响？ 指数时间假说 ETH 到底在讲什么？ 它是 1999 年提出的电脑科学假说，讲的是一类逻辑题到底有多难。 这类题目叫 3-SAT：给你一串「或」为条件，例如「甲或非乙或丙」，要找出一组真假填法，让所有条件同时成立。 变数有 n 个，最直接的办法是把 2 的 n 次方种填法全部试一遍。 三位顶尖科学家 Impagliazzo、Paturi 与 Zane 提出 ETH，主张不会有本质上更快的办法。 MIT 的 Ryan Williams 给的白话版是：3SAT 不可能在 1. 000…01 的 n 次方时间内解出，小数点后有几个零不拘。 OpenAI 和 Anthropic 同一天证伪？ OpenAI 的模型在 10 月 16 日找到反证，10 月 17 日完成 Lean 形式化（Lean 是一种让电脑逐步检查数学推导的语言）。 OpenAI 的论文给的是决定性演算法，能精确算出任何固定 k 的 k-CNF 公式有几组解，时间上限的指数部分是 n 除以大约 log n 的平方根，成长速度落在「亚指数」，也就是比指数慢、但比多项式快的范围。 Anthropic 的论文署名 Claude，由数学家 Levent Alpöge 在台湾时间 10 月 27 日中午于 X 公布。 论文写明，核心演算法由内部 Claude 研究模型在 10 月 16 日找到，耗费 1,400 万个输出 token，没有人类介入，并提到 OpenAI 的内部模型也独立、同时宣称证出类似结果。
- 这类题目叫 3-SAT：给你一串「或」为条件，例如「甲或非乙或丙」，要找出一组真假填法，让所有条件同时成立。
- 变数有 n 个，最直接的办法是把 2 的 n 次方种填法全部试一遍。
- MIT 的 Ryan Williams 给的白话版是：3SAT 不可能在 1.
来源：动区动趋
本文由 GTokenTool 摘编，版权归原作者所有；内容仅供参考，不构成投资建议。