#OpenAI宣布攻克千禧年难题# OpenAI宣布其内部未公开模型联合上万个AI智能体，仅用88小时便攻克了悬置90年的纳维-斯托克斯千禧年数学难题。该成果成功解决"纳维-斯托克斯存在性与光滑性问题"，证明三维不可压缩流体在光滑外力作用下可在有限时间内发展出"奇点"，精准对应克雷数学研究所千禧年问题中的C和D情形，意味着经典流体连续介质模型在特定条件下会失效。研发过程由能力远超GPT-6 Astra的未公开内部模型驱动，约10000个AI智能体分组并发探索，耗时88小时生成165页证明，随后GPT-6 Astra耗时17小时使用Lean编程语言完成严格的形式化验证，全程消耗约1300亿输出Token，算力成本高达数百万美元。OpenAI明确表示不打算申领克雷数学研究所附带的100万美元大奖，将此成果定位为"AI进步的快照"。

88小时、一万个智能体、165页证明、数百万美元算力，OpenAI用"暴力美学"攻克了悬置90年的数学难题，这个过程本身就很有标志性意义。不是某个数学家在书桌前苦思冥想，而是上万个AI智能体并行探索，然后用另一个AI做形式化验证——数学研究的范式正在被改变。更有意思的是OpenAI的态度：不领百万奖金，定位为"AI进步的快照"，意思是这只是开始，以后还会有更多。当然学术界对署名和数据透明度有争议，这也正常，AI做出来的数学成果该怎么认定归属，本身就是个新问题。不管争议多大，纳维-斯托克斯这个百年难题被推进了一步，而且是AI推进的，这个事实值得记住。 http://t.cn/AX0uMSiM