OpenAI官宣：88小时攻破千禧年难题！#OpenAI宣布攻克千禧年难题#

这就是韦东奕研究的纳维尔-斯托克斯方程。七大数学问题，人类解决了一个。这回说AI解决了一个。

可以确定的是，AI探索数学组合的能力，已经远远超过人类了。就是说，搞1万个Agent去暴力探索，什么方向都去试，证明或者找反例都派无数Agent去搞。没有人类数学家能发起这样的暴力研究。

结果，还真的在“找反例”这个方向，取得突破了。这个反例直觉一看就很不错，AI确实突破了。OpenAI证明的，C 和 D，"an initially smooth fluid at rest can develop a singularity in a finite time"（有外力光滑、能量全程有限）​。A 和 B是无外力的，这个还没有解决。但C和D取得突破，就被视为克雷问题的破解。

这开启了一个数学研究方向：人机协作。人类设想了这个暴力搜索的框架，并不是很简单。初始想法是Anthropic 研究员 Levent 和大学数学教授 Buckmaster。

这对数学家很震撼，但很难说欣赏。因为过程是暴力的，不优雅，现在也不能说正确，只是LEAN形式化证明通过了，人还看不懂。

其实，走到这一步很自然。计算机传统的暴力搜索算法就是去执行一些计算步奏，但是这些计算是死的、僵化的，没有智能。这种暴力搜索算法能解决一些问题，但缺陷明显。

一个改进是在暴力搜索步骤中加入初级智能，例如加入围棋策略与价值网络，就把下围棋问题解决到让人类高手2-3子。这加的是简单的深度学习神经网络。

再改进，就是在暴力搜索中加入高级智能，让Agent去搜索，1万个Agent负责不同方向协作。每个agent都有超出人类奥数金牌选手的组合技巧，还对各种数学方向的已知成果很了解。这种暴力搜索的威力就是攻克顶级数学难题，我觉得能力是足够的。

数学这个行当，会和围棋一样，人类干不过AI。原理很明白，数学思维被拆解成为可计算可模拟的，AI理论上能超过最顶级的人类数学家。