网友批OpenAI借千禧年数学问题炒作

去死吧 @sama

你声称自己解决了纳维-斯托克斯方程，无非是一万个智能体在价值数百万美元的GPU集群上循环跑了88小时，在Lean中形式化了一个带可控外强迫的爆破情形，这纯粹是科学庸俗化。

克莱数学研究所千禧年问题问的根本不是：你能不能通过临时添加一个光滑外力项f(x,t)，人为强迫流体产生奇点，扭曲涡旋直到它破裂。

真正的问题关乎三维不可压缩欧拉方程和纳维-斯托克斯方程的基本稳定性和整体光滑存在性，只在自然守恒律和粘性耗散框架下讨论。

利用带强迫项方程的数学漏洞来炫耀一个一百年前就有的结论，这是彻头彻尾的概念骗局。

从技术和认识论上说，你包装成AGI突破的东西，不过是蛮力组合自动形式化而已。AI根本不理解流体力学，它只是在之前人类数学家伟大工作已经规划和约束好的连续搜索空间里导航，这些数学家包括Tristan Buckmaster、Levent alpöge、Diego Córdoba和Tarek Elgindi。

协调一万个智能体用Lean检查一百页证明的逻辑一致性，这是软件工程和并行计算的胜利，不是本质上的科学发现。这是计算推土机战胜人类抽象直觉的胜利，你却把它重新包装成更高数学意识展示给公众。

除了这种理论上的欺诈，你还添加了令人作呕的道德和工业犬儒主义：利用学术研究者的私人Codex会话和非正式预印本窃取他们的研究思路，还以Levent alpöge效力于竞争对手Anthropic为借口，试图删减甚至抹去他的贡献，这是知识奴役。

Openai的行径就像硅时代的封建领主，侵占独立学者的认知劳动，私下里威胁抗议者的职业生涯，把社区学术劳动变成私有化的新闻通稿。

整个事件都是IPO前恐慌中 desperate 金融议程的产物：面对缩放定律放缓，投资者对基础模型盈利能力的怀疑日益增加，Openai需要人造一个斯普特尼克时刻。声称解决千禧年问题却不立刻把证明提交给传统同行评审，意思就是把基础数学的声望当成廉价的营销燃料，用来拉高虚高估值！

真正的科学不是社交媒体上追名逐利，也不是为了抢夺克莱数学研究所名誉堆出来的计算峰值。真正的科学是对优雅、物理真理和普遍严谨性的追求，是为了解读现实。

真正的人工智能不会从躲在计算蛮力背后、敌意公司侵占学术工作中产生，它只能来自能够生成新概念范式的架构，而你现在把受约束的形式化伪装成了这个东西。