OpenAI攻克千禧年数学难题，人类进入黄金时代？

就在不久前，OpenAI扔出了一枚重磅炸弹。

他们宣布一个尚未公开的内部模型用约1万个AI智能体协作88小时，攻克了困扰数学界90年的纳维-斯托克斯存在性与光滑性问题。这是克莱数学研究所2000年设立的七大千禧年大奖难题之一，悬赏100万美元。

消息一出，舆论沸腾。难道说AI终于攻破了智力的最后堡垒，人类的黄金时代来了？先别着急半场开香槟。

如果你仔细看OpenAI的公告，就会发现一个被多数媒体报道忽略的细节。他们宣称解决的是“带外力”的纳维-斯托克斯方程，对应官方问题陈述中的C和D两种情形。而克莱数学研究所的千禧年难题定义的是“无外力”版本，它们在数学上是两个完全不同的问题。

尽管OpenAI“大方”承认不打算申领那100万美元奖金，但试想如果一个公司攻克了真正意义上的千禧年难题，它会放弃领奖吗？不会，它只是用一种体面的方式告诉你我们解决的不是那个问题。

OpenAI的研究员塞巴斯蒂安·布贝克称这是“过去十二个月所看到轨迹的一个惊人顶点”，惊人可能是真的，顶点就未必了，因为OpenAI的证明至今还没有通过同行审议。一个数学命题的正确性不取决于谁先喊出来，而在于谁能拿出可验证的证明。OpenAI显然明白这个道理，但他们选择了先开发布会。

OpenAI在公告中把这次成果定位为“展示模型进展”，这说明它真正关心的还是商业叙事。这场耗资可能高达1500万到2250万美元算力的实验，产出的是一个尚未被认可的证明、一个有条件的结论以及一句“我们很强”的广告语。

菲尔兹奖得主陶哲轩评论说OpenAI像一个找到了通往隐秘瀑布路径的荒野向导，这个比喻很妙。向导能给你带路，但他不一定知道瀑布为什么在那里。数学需要的不只是抵达，还需要理解为什么这条路能走得通。

如果这就是AI攻克千禧年数学难题的方式，那人类进入的可能并非什么黄金时代，而是一个答案越来越多、理解越来越少的时代。