OpenAI与Anthropic称AI模型推翻指数时间假说，计算机科学界回应

OpenAI昨日一次性发布三个长期困扰研究者的数学难题解法，其中一项否定了计算机科学中的指数时间假说（ETH）。ETH是理解计算难度的基石假设，此前被广泛接受。Anthropic的数学家Levent Alpöge率先质疑OpenAI的解法基于已有工作，数小时后Anthropic也发布了独立的ETH反驳。

这次OpenAI的发布流程与以往不同，三个学科采用了三种方式：数学家从GitHub获取论文；计算机科学家组成工作组，要求公开证明并资助会议讨论；物理学家则自行组织工作组决定发布形式。MIT教授Ryan Williams负责组织计算机科学界的回应，他曾批评OpenAI十月的行为是“对数学家的DDoS攻击”，但这次同意合作，与1999年提出ETH的两位学者Russell Impagliazzo和Ramamohan Paturi共同解读。

ETH是P与NP问题的一部分。简单说，P=NP意味着凡是能快速验证答案的问题都能快速求解，但多数科学家认为这不成立，ETH为此提供了证据。OpenAI和Anthropic宣称其模型在特定逻辑谜题上实现了“次指数时间”求解，若属实则否定了ETH，并为P=NP开辟道路。Williams认为这动摇了既有直觉，但“OpenAI的算法不可能是最优先算法”。

若ETH被证明错误，过去十年引用它的论文都需要重新审视，这是Williams推动OpenAI资助会议的原因。安全方面，他最先询问OpenAI是否检查过对密码系统的影响，得到的回复是“没有发现任何密码被破译”。Williams对AI参与科学发现持乐观态度，但也担心新科学家培养问题，他称AI“迫使人们更雄心勃勃，思考如何提出更高层次的科学问题”。