资金费率
资金费率热力图
多空比
大户多空比
币安/欧易/火币大户多空比
Bitfinex杠杆多空比
账号安全
资讯收藏
自选币种
OpenAI宣称ETH不成立，加密圈反应一如预期
“该死的算法交易员把$ETH杀惨了”，用户Takumi在X平台发文感叹；Andrew Jiang则调侃道：“自此事曝光以来，Vitalik一直沉默不语。”
不过，各位“赌徒”们请冷静。此处所指的“ETH”并非以太坊（Ethereum），而是1999年提出的计算机科学猜想——指数时间假设（Exponential Time Hypothesis）。它与以太坊、其价格或联合创始人Vitalik Buterin毫无关系。因此，加密货币爱好者们大可松一口气。
关于指数时间假设与OpenAI的声明
OpenAI发布了一篇长达67页的论文，声称其人工智能找到了一种绕过该假设的方法，而提出该假设的科学家们目前正在对这一成果进行审查。
计算机科学家Russell Impagliazzo和Ramamohan Paturi与Francis Zane共同提出了ETH。该假设认为，一个经典的逻辑难题——3-SAT问题（即在满足一堆规则的情况下寻找真/假设置，每次考虑三个选项）——无法通过比尝试所有组合更快的方式求解。据OpenAI所述，数百篇论文基于此假设，旨在证明图论、计算生物学、数据库和几何学等领域的问题无法快速解决。
换句话说，ETH描绘了计算机可能永远无法快速完成的任务地图，而OpenAI表示其模型刚刚重绘了这张地图。“ETH的反驳重新引发了关于这些任务能加快多少速度的疑问，并可能有助于指导更好算法的搜索，”该公司在其博客中写道。
技术细节与验证过程
这篇论文日期为10月17日，并于10月25日修订。文中描述了一种确定性算法（即不含随机性的算法），能够在次指数时间内统计此类谜题的所有满足赋值。这意味着随着变量数量的增加，工作量的增长速度慢于任何指数级增长。由于统计解的数量比判断是否存在解更难，因此完成更困难的任务便顺带解决了较简单的任务。
OpenAI表示，其AI于10月16日发现了这一反证，并于10月17日使用Lean软件进行了形式化验证。Lean是一种能够机械验证每一个逻辑步骤的软件。相关代码已上传至GitHub，这也是本月早些时候其发布的722篇数学手稿的相同渠道，其中仅有162篇附带了经过计算机检查的主要结果。
独立审查与学术严谨性
Impagliazzo、Paturi以及麻省理工学院的Ryan Williams领导着独立的审查工作，他们对自己的角色保持着谨慎态度。“我们的参与不应被视为对该主张的认可，”三人在一封公开信中写道，并补充道，“如此重要的结果需要仔细、独立的审查，并且其他人必须能够重建、质疑并在此基础上构建。”
OpenAI指出，参与者签署了无保密协议，且无偿工作，公司同意公布所有原始数据并资助一场关于该成果的会议。
实际应用与理论意义
实际回报尚需时日：“发现此类算法，并将理论进展转化为实际改进，将需要大量的进一步研究，”OpenAI写道。论文本身指出，该结果并未表明每个NP问题都能在次指数时间内解决，因此P与NP问题——即“每个答案易于检查的问题是否也易于解决”这一核心问题——依然悬而未决。
简而言之，P是计算机能有效解决的难题类别，而NP是提议的解决方案能被有效检查的难题类别。因此，P与NP问题——即是否每个答案易于检查的问题也易于解决——仍然是一个开放性问题。
行业反响与未来展望
Anthropic不愿在“数学之战”中落败，随后发布了一篇署名为Claude的论文《3-SAT的2^o(n)时间算法》，日期为10月26日。该仓库同样涉及ETH问题，声称内部研究Claude模型发现了该算法，并指出“该结果纯粹是渐近性的，不涉及在实际中求解公式。”
Claude曾在今年9月在Lean中形式化了费马大定理，而数学家陶哲轩对此类重叠现象早有预见。“我们现在看到，即使是有人正在研究某个问题的谣言，也能触发大量由AI驱动的努力，在原研究项目尚未充分发挥潜力之前将其‘平推’，”这位数学家在9月写道。
OpenAI近期向西蒙斯基金会捐赠的500万美元，将用于资助研讨会、会议和特别项目，以帮助研究人员审查并基于AI生成的结果进行构建。
