OpenAI称模型推翻指数时间假设等三大数学难题
原文：Frontier AI labs say their models refuted the Exponential Time Hypothesis. What does that mean?
OpenAI昨日发布了三个长期困扰研究人员的重磅数学问题的解决方案。其中之一是对指数时间假设（ETH）的意外否定——这是计算机科学中一个持久性假设，在我们理解什么难以计算方面扮演重要角色。与前沿实验室此前发布的证明一样，科学界的反应是兴奋与沮丧交织。Anthropic数学家Levent Alpöge暗示OpenAI的解决方案基于已有工作，数小时后，Anthropic随后发布了自己对ETH的否定。然而，OpenAI的流程正在演变。这一次，该实验室针对所涉及的三个学科分别以不同方式组织发布：数学家的工作被放在GitHub上；计算机科学家组成了一个工作组，要求公开分享证明并请OpenAI资助一次会议来讨论它们；物理学家组成了一个工作组，将决定其结果的发布方式。MIT教授Ryan Williams是组织其领域对新发现作出回应的计算机科学家。Williams的研究聚焦于这些计算复杂度问题，过去曾批评OpenAI的做法，称其今年10月早些时候的证明倾泻是“对数学家的DDOS攻击”。然而，他告诉TechCrunch，他同意与前沿实验室合作，以帮助引导对该领域至关重要的思想。实验室请他帮助解读该解决方案，一同参与的还有加州大学圣地亚哥分校计算机科学家Russell Impagliazzo和Ramamohan Paturi，他们于1999年首次发表了ETH。他们的第一步是发布一封公开信，呼吁对此类问题感兴趣的科学家提供反馈，并讨论AI对其工作贡献的规范。“（OpenAI证明的）某些部分，也许你可以说是常规的，但确实有两三个看起来陌生的部分，而正是这些部分我看到的……”