OpenAI AI实现3-SAT亚指数求解，挑战理论计算边界

10月27日，Decrypt援引最新研究披露，OpenAI发布的67页技术论文指出，其训练中的大模型于10月16日识别出可反驳‘指数时间假说’的关键路径。该假说自1999年由Impagliazzo、Paturi等学者提出，长期被视为复杂性理论基石，支撑数百项关于计算效率的学术推演。

形式化验证完成，算法具备可追溯性

研究团队在次日利用Lean数学证明系统对所得逻辑结构进行逐步形式化验证，确认所生成的确定性算法可在亚指数时间内完成对3-SAT所有可满足赋值的计数，标志着理论计算范式的一次潜在跃迁。

强调局限：不等于破解P与NP核心难题

尽管成果具有深远意义，论文明确声明，该发现并不意味着所有NP完全问题均可在亚指数时间内求解，因此传统意义上的P是否等于NP问题仍未获得解答，当前进展仍局限于特定问题域。