OpenAI 称模型反驳 ETH，计算复杂性学界组建工作组回应
前沿模型首次对计算复杂性核心假设给出反证，但学界更关心这类 AI 成果如何被验证与归属。
OpenAI 公布三个数学难题的解答，其中之一反驳了 ETH（指数时间假设：某类逻辑谜题不存在亚指数时间算法）。学界反应两极：Anthropic 数学家质疑其沿用既有工作，Anthropic 随后也发布自家反证；MIT 教授 Ryan Williams 则牵头组织工作组，要求公开证明并商定 AI 贡献的规范。
正文摘录
OpenAI 昨天发布了三个长期困扰研究者的重磅数学问题的解法。其中一个是出人意料地否定了指数时间假设（Exponential Time Hypothesis，ETH）——这是计算机科学中一个长期稳固的假设，在我们理解哪些问题难以计算时扮演重要角色。 像这家前沿实验室此前几次“扔证明”一样，科学界的反应 mixed：既兴奋又不安。Anthropic 数学家 Levent Alpöge [暗示](https://x.com/alpoge/status/2114838067953770981) OpenAI 的解法基于已有工作；数小时后，Anthropic 随即[发布](https://github.com/anthropics/formal-math/tree/main/eth)了自己对 ETH 的反驳。 不过，OpenAI 的做法正在演变。这一次，实验室针对涉及的三个学科，以不同方式[组织发布](https://openai.com/index/building-scientific-understanding-with-academic-communities/)：数学家这边，成果被直接丢到 GitHub 上；计算机科学家成立了一个工作组，要求公开分享证明，并要求 OpenAI 资助一场会议来讨论这些证明；物理学家成立了一个工作组，由其决定他们的结果将如何发布。 MIT 教授 Ryan Williams 是组织计算机领域回应这一新发现的计算机科学家。Williams 的研究聚焦于计算复杂性这些问题，过去曾批评 OpenAI 的做法，称其今年 10 月早些时候的证明投放是“对数学家的 DDOS 攻击”。 不过他告诉 TechCrunch，他同意与这些前沿实验室合作，帮助引导对该领域至关重要的想法。