前沿 AI 实验室称其模型反驳了指数时间假设,这意味着什么?
原标题:Frontier AI labs say their models refuted the Exponential Time Hypothesis. What does that mean?
AI 摘要
OpenAI 发布了针对三个长期困扰研究者的数学难题的解答,其中一个解答意外否定了计算机科学中关于计算难度的持久假设——指数时间假设(ETH)。Anthropic 数学家 Levent Alpöge 质疑 OpenAI 的解答基于已有工作,随后 Anthropic 也发布了自己对 ETH 的反驳。MIT 教授 Ryan Williams 与 ETH 原作者等人组织计算机科学界回应,呼吁公开证明并资助会议讨论;Williams 表示若 AI 实验室的声明成立,将影响大量依赖 ETH 的论文,但 OpenAI 已检查未发现对密码系统造成破坏。
正文节选
OpenAI released solutions to three blockbuster math problems that have long vexed researchers yesterday. One was a surprise rejection of the Exponential Time Hypothesis (ETH), a durable assumption in computer science that plays a large role in how we understand what is difficult to compute. As with previous proof-drops from the frontier lab, scientific communities responded with a mixture of thrill and dismay. Anthropic mathematician Levent Alpöge suggested that OpenAI was basing its solutions f