RecodeX 重构消息,OpenAI与Anthropic于10月26日分别声称,其AI模型找到了比指数时间更快的3-SAT求解算法,从而反驳了已有25年历史的指数时间假说。两家公司公开了论文与形式化证明。

指数时间假说认为,特定计算问题的输入规模越大,求解所需时间呈指数级增长。发布数日后,该假说提出者Russell Impagliazzo、Ramamohan Paturi,以及长期质疑该假说的麻省理工学院研究者Ryan Williams接受法新社采访,就研究意义、独立审查及研究者后续角色发表看法。