AI花88小时破解“世纪难题”,25位菲尔兹奖得主却急了

j
jxgzhc
1小时前 2 分钟阅读 1 阅读

AI与数学

一条消息,把数学圈炸了。

9月11日,25位菲尔兹奖得主,联名发了一份公开声明,标题就叫《AI在数学中的严重错位》。

菲尔兹奖,常说是数学界的诺贝尔奖。这么多顶级数学家,为同一件事集体发声,极其罕见。

他们到底在急什么?

事情得从9月8日说起。

那天,OpenAI宣布:它一个还没公开的模型,花了大约88小时,破解了纳维-斯托克斯方程——一个千禧年大奖难题。

这题有多难?它是克雷数学研究所2000年列出的七道“千禧年难题”之一,悬赏100万美元,二十多年无人能解。

而OpenAI,用了约1万个AI智能体,狂跑88小时,光智能体之间的消息就交换了270万条。

听着像天大的好事?数学家不这么看。

声明写得很直白:AI正在把数学,变成一场“速度竞赛”。

过去数学是慢慢长的。一道难题被解开,数学家们还要花上几年甚至几十年,去验证、去讨论、去理解,再把方法传给下一代。

答案从来不是终点,理解才是。

可AI最擅长的,就是把这漫长的过程,压缩成最后一步——直接给答案。

陶哲轩的比喻很妙:

传统研究,像人徒步去找瀑布,会走错路、发现岔路、在途中撞见别的风景;AI则像一架直升机,直接把研究者空投到瀑布跟前。

效率是高了。可沿途那张“地图”,永远留在了直升机上。

别误会,陶哲轩不是反对AI。他自己每天都在用大模型做研究。

他反对的,是把“解题数量”当成AI的KPI,把“快”当成“好”。

AI当然能帮人看得更远。

但前提是,人还愿意自己走。

25位菲尔兹奖得主急的,从来不是AI抢饭碗。

他们怕的是:这条靠一代代人慢慢传下来的知识链条,被一台只想冲刺的发动机,一脚油门崩断了。