OpenAI模型破解数论百年难题，千禧年大奖难题P≠NP研究取得重大进展

斯坦福大学数论学家Jared Duker Lichtman近日在社交平台X上发布消息，指出OpenAI内部模型成功证明了解析数论中长期悬而未决的“不存在Landau-Siegel零点”这一关键难题。该证明原始版本仅8页纸，随后迅速被密苏里大学的Bill Banks、Bryce Kerr及牛津大学教授Ben Green等顶尖学者跟进优化，最终压缩至5页。伦敦玛丽女王大学教授Abhishek Saha对此评论称，若仅需5页即可证明的难题人类却耗费数十年未能攻克，这强烈暗示了计算机科学中著名的P≠NP假设可能成立。

P与NP问题自1971年提出以来悬赏100万美元，核心在于判断“能快速验证的答案”是否也能“快速算出”。目前绝大多数科学家相信P≠NP，但五十多年来人类始终无法突破三道理论屏障：相对化屏障、自然证明屏障和代数化屏障。2024年6月，复杂性理论学者Lance Fortnow曾悲观表示，当时人类尚无任何可行的攻击路线。

10月6日，OpenAI在GitHub一次性发布了722篇手稿（后撤回3篇），归为372个结果家族，试图以饱和式攻击应对这些理论壁垒。这批成果涵盖了深度3电路下界、唯一博弈猜想、随机对数空间去随机化及矩阵乘法优化等多个领域，其中部分研究精准击中了通往P≠NP证明的主干道。

尽管取得突破，学界专家仍保持谨慎态度。Lance Fortnow指出，AI对给定问题的解出率不足10%，且现有成果中仅约42%附带Lean形式化证明，其余需人工验证，人类学者几乎尚未读懂长篇证明内容。此外，AI生成的证明可读性较差，且部分突破集中在特定电路类型，而能直接推导P≠NP的一般布尔电路下界仍是空白。

OpenAI此次行动展现了惊人的算力规模与速度，内部模型尝试了约4000个开放难题，平均每题耗时仅3小时。这种量变可能引发质变，使得以往被认为无解的数学绝境出现转机。目前关于P vs NP的最终结局尚存分歧，部分学者认为若AI成功破局，答案更倾向于P=NP，因为让算法发现巧妙解法比用传统方法证明“不可能”在逻辑上更具可能性。

随着外围阵地如唯一博弈猜想、电路下界等被密集攻克，主攻方向破局在即。然而，OpenAI投入海量算力进行数学探索的事实本身，也构成了P≠NP的一种活证据：若机器能在短时间内搜出高效算法，则意味着存在捷径；反之，若机器穷尽算力仍无法找到通解，反而从反面印证了本质上无解的结论。