据说OpenAI已经解决了多个千禧年难题，只是

9月8日，OpenAI正式宣布拿下了纳维-斯托克斯方程。这是千禧年难题里第二个被攻克的，而且几乎全靠AI自己：一万个智能体协作88小时出结果，再加17小时做形式化验证。

但这只是个开始。网上的传闻越来越猛，说他们手里还压着一堆没发出来的重磅证明。数学家Scott Armstrong直接发了条动态吐槽：据他了解，OpenAI至少从国际数学家大会起，就攒了“数百个”结果的证明。他怀疑Levent Alpöge那边还有更多没公开的内容。

OpenAI自己也留了口子。回应媒体时承认，他们在另一个千禧年问题上已经取得实质进展，正考虑怎么“审慎地”分享。至于为啥不直接发？主要是上周优先权争议闹得太大，双方因为数据使用、署名吵得不可开交。刚挨了舆论一顿打，现在再连抛重磅，怕反弹太狠，干脆先按住等风头过了再说。

问题是，这事儿对数学界来说挺尴尬。以前重大证明出来，大家能公开讨论慢慢消化；现在结果可能在实验室内部早就跑通了，却因为各种考量暂时锁在抽屉里。信息高度不对称，离实验室圈子越近的人知道得越多。Armstrong最担心的就是这种状态——谣言满天飞，真正知情的人却很少。

数学的发现方式正在被改写，而改写的速度，可能比我们看到的还要快。