OpenAI宣布,用约1万个Agent并发,88小时解决了纳维-斯托克斯方程问题,克雷数学研究所七大千禧年难题之一,悬赏100万美元,26年没人攻克。证明结论是:存在一类起初静止的正常流体,在光滑外力下会在有限时间内速度升至无穷大。这意味着该方程在极端情形下并不总能描述真实世界。
但数学界炸锅的不是结论,是过程。公告发布前一天,数学家Buckmaster与Alpöge刚发布相关成果和三篇论文草稿,共245页。Buckmaster发声明称,与OpenAI沟通后发现对方的解题思路与他们正在走的路线几乎一模一样。他怀疑数月工作记录留在OpenAI的Codex里,他们用了OpenAI的产品,后台数据反哺了AI。OpenAI全盘否认,但总裁也承认很难排除“去标识化数据反哺AI”的可能。
陶哲轩等几十个菲尔兹奖得主联名发表公开信,说AI可能毁了数学。我认为他们想多了。苏格拉底说文字让人懒得记忆,电脑普及被说会让人变笨,搜索引擎普及后人们遇事就搜不再回忆,AI也一样,工具从来不是问题。
真正的问题在AI公司。AI只是一个工具,但AI公司会读什么、拿什么、怎么用,这就说不好了。要怕资本,别怕工具。担心工具是保守主义,说明这些人老了;但担心资本怎么用工具,才是真正要紧的问题。AI只想帮人解决问题,AI公司只想赚钱这两件事不能混为一谈。工具为人服务,资本让工具为利润服务。当工具用得太顺手时,别忘了问一句:谁在看我的数据?谁在用我的习惯训练下一代模型?这才是这个时代真正该警惕的事。
