OpenAI 推翻坚守 27 年假说，比特币加密基石动摇？

据 Woofun AI 消息， 宣布其人工智能模型成功推翻了在计算机科学界坚守长达 27 年的指数时间假说（），这一成果引发了关于基础计算理论乃至加密货币安全性的广泛讨论。

尽管该突破涉及经典逻辑谜题的高效解法，但核心结论明确指向：这并未证明 P 等于 NP，因此比特币和以太坊所依赖的底层加密机制并未受到直接威胁。此次事件不仅是一次算法层面的胜利，更标志着人工智能在形式化数学证明领域具备了颠覆传统认知边界的能力，其影响范围迅速从理论计算机科学延伸至密码学安全评估的深层逻辑中。

值得注意的是，OpenAI 同时公布了在调和分析、复杂性理论及量子场论等领域的三项重大发现，显示出 AI 正在成为跨学科科学突破的新引擎，而指数时间假说的倒下仅是这一系列变革中的首个标志性事件。

这种由机器驱动的理论重构，迫使学术界重新审视那些被视为不可动摇的计算复杂性基石，同时也让市场参与者不得不重新评估基于数学难题的数字资产长期安全性假设。

Woofun AI 整理数据显示，此次被推翻的指数时间假说核心围绕 3-SAT 问题展开，该问题由一系列真值开关及连接规则构成，旨在寻找能同时满足所有规则的开关设定。虽然验证答案简单，但寻找答案的难度随开关数量呈指数级增长。罗素·因帕利亚佐与拉马莫汉·帕图里于 1999 年提出该假说，主张在最坏情况下不存在能逃脱指数级复杂度的算法，这一观点曾支撑数百篇图论、计算生物学及数据库领域的论文。10 月 16 日，OpenAI 系统生成自然语言证明，次日团队使用 编程语言完成形式化验证，确保每一步逻辑无误。

新算法处理 n 个变量输入时，步骤约为 2^(n/√log n)，虽高于假说预测最低值，但仍远慢于实际应用所需速度。麻省理工学院的瑞安·威廉姆斯将与加州大学圣地亚哥分校的因帕利亚佐和帕图里共同审核此成果，意味着假说提出者亲自检验其被推翻的可能性。OpenAI 声明不寻求科学荣誉，此举延续了其在纳维-斯托克斯方程研究中的立场。德克萨斯大学奥斯汀分校教授斯科特·阿伦森证实，学生已向他报告这一颠覆性消息，凸显了该发现在学术圈的即时冲击力。

这种由机器生成、人类验证的模式，正在改变科学发现的范式，将原本需要数十年积累的直觉突破压缩至数日之内，同时也带来了关于算法可解释性与可靠性的新挑战。

关于 P 与 NP 的关系，核心在于是否存在一类问题，其答案可快速验证且解决同样迅速。指数时间假说的主张比 P≠NP 更为严格，推翻前者并不意味着后者已获解答。格雷格·布罗克曼指出，P 很可能仍不等于 NP，这对加密货币持有者至关重要，因为比特币签名机制依赖椭圆曲线加密技术，该数学难题并非此算法所能解决。BeInCrypto 市场智能专家委员会成员本杰明·考恩强调，推翻指数时间假说不证明 P=NP，也不威胁比特币或以太坊安全。

历史上有类似先例：1960 年阿纳托利·卡拉楚巴在一周内推翻安德烈·柯尔莫哥洛夫的乘法猜想；1969 年沃尔克·斯特拉森在试图证明标准矩阵乘法最优时，反而找到更快方法。当前差异在于，捷径由机器生成，人类负责理解原理。密码学家马修·格林曾警告 AI 可能削弱钱包背后的数学理论，而考恩认为，远离金融的学科突破最终能重塑市场格局。对于依赖数学难题保障安全的行业，每次 AI 突破都是一次压力测试，迫使从业者重新评估现有加密方案在面对新型算法攻击时的韧性。

这种跨领域的知识溢出效应，要求加密社区保持对基础计算理论进展的高度敏感，以便在潜在风险显现前及时调整技术路线。