前沿 AI 实验室称其模型推翻了指数时间假说，这意味着什么？

英文原标题：Frontier AI labs say their models refuted the Exponential Time Hypothesis. What does that mean?

本文为英文原文的机器翻译摘要，原文见：TechCrunch AI ↗

• OpenAI 发布了三个数学难题的解决方案，其中一个是对计算复杂性理论中长期假设——指数时间假设（ETH）的反驳，引发科学界震动。
• Anthropic 数学家 Levent Alpöge 质疑 OpenAI 的解决方案基于已有工作，随后 Anthropic 也发布了自己对 ETH 的反驳。
• OpenAI 针对数学、计算机科学和物理三个学科采取了不同的发布方式：数学家通过 GitHub 获取，计算机科学家组成工作组并要求公开证明及资助会议讨论，物理学家组成工作组决定发布方式。
• MIT 教授 Ryan Williams 组织计算机科学界的回应，他与 UC San Diego 的 Russell Impagliazzo 和 Ramamohan Paturi（ETH 最初提出者）合作解读该解决方案，并发布公开信征集反馈。
• ETH 是 P vs NP 问题的一部分，OpenAI 和 Anthropic 声称其模型找到了在“次指数时间”内解决特定逻辑谜题的算法，若属实可能证明 ETH 为假，并可能为 P=NP 开辟道路。

关键数据

• ETH 最初由 Russell Impagliazzo 和 Ramamohan Paturi 于 1999 年发表。
• OpenAI 在昨天发布了三个数学难题的解决方案。
• Williams 称 OpenAI 的证明中有“两三个外星人般的部分”。

引语

• “DDOS attack on mathematicians”

为什么值得看：前沿 AI 实验室声称其模型反驳了计算机科学的基础假设 ETH，这可能动摇人们对计算难度的直觉，并影响大量已有研究和加密系统，同时引发关于 AI 贡献科学发现的新规范的讨论。