前沿 AI 实验室称其模型证伪了指数时间假说,这意味着什么?
Frontier AI labs say their models refuted the Exponential Time Hypothesis. What does that mean?
AI 导读
OpenAI 公布了三个长期困扰研究者的数学问题的解答,其中一项是对指数时间假说(ETH)的证伪,数小时后 Anthropic 也发布了自己对 ETH 的证伪。ETH 属于 P vs NP 问题的一部分,长期为 P ≠ NP 提供证据;这两家实验室称,它们的模型找到了在亚指数时间内求解相关问题的算法,若成立将动摇这一假设。MIT 教授 Ryan Williams 与 ETH 原作者 Russell Impagliazzo、Ramamohan Paturi 等参与解读,并发布公开信征集反馈、讨论 AI 参与科研的规范。Williams 称他已向 OpenAI 科学负责人 Dan Roberts 询问是否影响密码系统,对方表示已核查,认为不会导致实际破解。
推荐理由
解释了 ETH 与 P vs NP 的关系,并呈现计算机科学界对 AI 证伪数学假设的审慎回应与密码学核查。
阅读原文