韦东奕的难题,AI用88小时破解了?

作者 | 鸿辰

AI的快速发展,终于让最聪明的那群人也坐不住了!

现在,从普通牛马到顶级数学家,都要被AI替代了吗?甚至包括北大的韦东奕“韦神”,都可能被AI踢掉饭碗?

这到底是怎么回事?

近日,25位菲尔兹奖得主联名发了一份声明,题目就是《人工智能在数学中的严重错位》。从陶哲轩到2026年刚获奖的邓煜,联名要给人工智能纠错。

就在这份声明发布前三天,OpenAI声称其一个尚未公开的下一代模型,调动约一万个AI智能体,用了88个小时,给出了纳维-斯托克斯方程存在性与光滑性问题的证明。

这个方程是数学界著名的七大千禧年难题之一,破解悬赏金高达100万美元。而且,韦东奕的主攻研究方向之一,就是三维纳维-斯托克斯方程的正则性问题。

韦神在这个方向上的研究成果,被学界命名为“韦东奕定理”,写进了北大研究生教材。

作为奥数双满分金牌、北大扫地僧,手提矿泉水瓶和馒头的“韦神”,他破解这个难题的过程需要一页纸一页纸,可能要好几年的持续验算。

AI呢?就像一台挖掘机,直接开过来,88小时全部搞定。

AI是算力堆出来的,韦神是脑子算出来的,完全没有可比性。而真正让这件事变得复杂的,不是速度,而是25位菲尔兹奖得主在公开声明中提到的一个关键词。

这个关键词就是“错位”

他们认为,一个著名数学问题之所以重要,并不只是因为最后能得到“对”或者“错”的结论。而是因为,一个问题被解决,通常意味着研究者发现了新的洞见、方法或者概念。

随后,这些成果还需要经过数学家之间的报告、讨论和不断简化,最终才可能变成研究生甚至本科生能理解的教材内容。

一些数学思想甚至要经过几十年乃至几百年,才会成为被更广泛使用的工具。

当AI公司不断以“解决了多少此前未解的问题”来衡量模型进展时,原本用来衡量数学理解的指标,反过来变成了被机器快速优化的目标。

这不是在孕育新思想。这是在摧毁孕育思想的土壤。

韦神的“韦东奕定理”是怎么来的?是同行评议、是讨论班、是布尔巴基讨论班专门开专题讨论他的工作。这是人类学术共同体对一个智识贡献的认领。

今年2月,韦东奕刚刚获聘北大长聘副教授。某种意义上,韦神是幸运的,他不用在AI抢先完成了他的研究之后,再去证明自己的价值。

但下一个“韦东奕”呢?那些正在读研、正在选方向、正在研究课题的年轻人呢?

25位菲尔兹奖得主的声明中有一句核心:他们担心的不是“AI能不能做数学”,而是如果答案可以直接获得,人类是不是还会经历那些形成理解、提出新问题和产生新思想所需要的训练过程?

好问题将比好答案更稀缺,而能提出好问题的人,比好问题更稀缺。

韦东奕代表的是“人类用有限的脑力,在无限复杂的问题面前,选择最陡峭那条路”的孤勇。AI没有这种精神。

你觉得呢?评论区聊一下吧。

特别声明:本文为合作媒体授权DoNews专栏转载,文章版权归原作者及原出处所有。文章系作者个人观点,不代表DoNews专栏的立场,转载请联系原作者及原出处获取授权。(有任何疑问都请联系idonews@donews.com)

标签: AI
Copyright © DoNews 2000-2026 All Rights Reserved
京ICP备2025120072号