OpenAI破译数论百年悬案，揭开P≠NP重大线索，0千禧年神题逼近了

五页证明与三道高墙，锁住P≠NP五十年

数学界有一个残酷的不对称：找到答案极难，验证答案却可能极快。一份5页的证明，任何专家花几小时就能读完验证；但为了这5页纸，人类最聪明的大脑可能已经摸索了几十年。

“寻找极难，验证极易。”这八个字，恰恰就是P≠NP的底层直觉。

用一句话解释P vs NP：能快速验证答案的问题，是否都能快速算出答案？

• P：能快速求解的问题。
• NP：能快速验证的问题。

数独、排课、破解密码都属于NP：给你答案，一秒就能检查对错；但从零开始找，只能近乎穷举。如果P=NP，现代密码学将瞬间崩塌，全球金融系统面临裸奔风险，但所有复杂难题也会迎来终极捷径；如果P≠NP，则意味着宇宙中存在本质上无法走捷径的难题。

这个问题自1971年提出，悬赏100万美元。绝大多数科学家相信P≠NP，但五十多年来无人能证。难在哪？因为人类不仅没找到钥匙，反而证明了现有的开锁工具注定无效。这就是著名的三道“屏障”：

1. 相对化屏障（1975）：靠模拟与对角化的经典方法，根本不可能解决它。
2. 自然证明屏障（1994）：大多数电路下界的证明套路，若能证出P≠NP，就会顺手破解伪随机数生成器，自相矛盾。
3. 代数化屏障（2008）：连带代数技巧的升级版方法，也被证明火力不足。

今年6月，复杂性理论学者Lance Fortnow悲观地表示：目前人类连一条可行的攻击路线都没有。他建议挑战者先去证“SAT没有平方时间算法”这种简单得多的问题，然后补刀说：“你在那里也不会成功。”

这，就是AI要面对的对手。

722篇手稿一夜放出，372个家族排成矩阵

面对铜墙铁壁，AI直接开启了饱和式攻击。

10月6日，OpenAI在GitHub一次性放出了722篇手稿，次日撤回3篇，归为372个结果家族。内部模型尝试了约4000个开放难题，平均每题仅耗时约3小时的ChatGPT Pro算力。

其中，理论计算机科学占了40个家族。虽然这些手稿没有直接干掉P vs NP，但好几篇都精准砸在了通往它的主干道上。评论区里，Anthropic研究员Joshua Batson一针见血：数学家的“显然”总是相对的；事实证明，许多未解难题相对于AI都是显然的。

这句玩笑背后，是一个极其严肃的拷问：当AI几周内交出700多篇数学手稿，千禧年神题P vs NP，是不是也快了？

六面旗帜插上P≠NP主干道

OpenAI这次公布的六个结果，恰好覆盖了Lance Fortnow所说的多条受阻路线。它们没有宣布P≠NP已被证明，却像六面旗帜，插在了通往主峰的几条山脊上。

• 第112号家族：深度3电路下界。证明P vs NP最被看好的路线，是证明某个NP问题需要“超多项式大小的电路”。人类在深度3电路的显式下界上长期卡在临界值附近，AI这次直接跨过了这道坎。
• 第102号家族：唯一博弈猜想（UGC）。OpenAI证明了Subhash Khot在2002年提出的这一核心猜想，并包含部分Lean验证。UGC与P vs NP紧密相邻，极大强化了许多NP-hard优化问题的近似硬度极限。
• 基础算法与去随机化：实现随机对数空间的完全去随机化，即L=RL=BPL。
• 矩阵乘法：矩阵乘法指数被继续压低。
• 整数乘法：整数乘法的时间界被改写。
• **DF