最近OpenAI宣布，他们搞了一个内部模型，用约1万个Agent并发，仅用88小时就解决了纳维-斯托克斯方程问题。
这个问题是这是克雷数学研究所在2000年选出的七大千禧年大奖难题之一，单题悬赏100万美元。
26年没人解决，按照OpenAI的说法，他们先以1000个Agent在简化问题上试跑了50个小时，随后全力猛攻纳维-斯托克斯方程，总耗时88小时。
只用了38个小时，剩下的九千个Agent就解决了问题，它们证明的结论是，存在一类起初完全静止的正常流体，在光滑外力作用下会在有限时间内速度升至无穷大。
也即，纳维-斯托克斯方程这一连续介质模型，在极端情形下并不总能描述真实世界。
问题解决了，但相比结论本身，数学界有些炸锅了，数学家们现在更关心的这个证明是怎么做出来的，到底是它先做出来的，还是OpenAI看了和它对话的数学家的记录，给人提前抄了，这才是问题。
OpenAI宣称完成解题的是从8月28日才开始训练的模型，比GPT-6 Astra能力显著更强，暂不对外开放。
但是，就是OpenAI公告发布的前一天，Buckmaster与Alpöge发布了他们在受迫欧拉方程等相关但不同问题上的成果，外加三篇论文草稿，合计245页。
于是这个Buckmaster非常生气，他发一份措辞激烈的声明，表示他与OpenAI方面沟通后发现，对方的解题思路，与他们两人正在走的路线几乎一模一样。
一天时间，足够AI抢跑，毕竟在学术传统里，得知他人未发表的研究方向后抢跑，已经很缺德了。
但是AI是能抢多快抢多快，一天时间，一万个Agent，确实是够得，Buckmaster甚至怀疑，他和Alpöge数月的工作记录都留在OpenAI的Codex里，搞不好是他们发表初步结果后，OpenAI直接从后台看了他们的用户数据。
要不然怎么能跑这么快?
OpenAI一方对此全盘否认，毕竟真的太没素质了。
牵头千禧年难题攻坚的工作人员在简报会上称，无论是研究员还是Agent，在对方公开发布之前，我们没有看到他们的任何工作。
但他为了提高自己的可信度，还公开了短信记录，称自己当时提供了让对方优先发表的选项。
这就洗不清了，这就说明这个团队观察到了数学家的成果，确实会有一天时间抢跑，就连Open AI的总裁也说很难排除由于这两数学家使用了自己产品，产生了去标识化的数据，然后公司把数据拿来反哺AI，最后让AI变强的可能。
紧接着就是陶哲轩等几十个菲尔兹奖得主联名发表公开信，说AI有可能会毁了数学。
这些数学家说，用AI本身会阻止人们思考，甚至最后理解本身都有可能被绕过。
我觉得这些数学家想多了，苏格拉底以前说文字会让人懒得记忆。电脑普及的时候也吓住过一批人，说以后会让人变懒，变笨。
甚至这种研究一直持续到十几年前，美国哥伦比亚大学还有研究发现，搜索引擎普及后，人们遇到难题会先搜索而不是回忆，记忆变差了。
最近还有研究表明，频繁使用AI工具与批判性思维能力呈负相关。
这次的两个数学家就没有担心AI的问题，他们用AI证明，比自己想快多了。
他们担心的真正问题才是好问题，那就是AI公司，AI本身只是一个工具而已，AI公司到底会读取什么东西，就说不好了。
要怕资本，别怕工具，AI只想帮人解决问题，而AI公司只想赚钱。
担心工具，这就是保守主义，只能说明这些人都老了，跟不上时代了。
热门跟贴