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

一条消息,把数学圈炸了。
9月11日,25位菲尔兹奖得主,联名发了一份公开声明,标题就叫《AI在数学中的严重错位》。
菲尔兹奖,常说是数学界的诺贝尔奖。这么多顶级数学家,为同一件事集体发声,极其罕见。
他们到底在急什么?
事情得从9月8日说起。
那天,OpenAI宣布:它一个还没公开的模型,花了大约88小时,破解了纳维-斯托克斯方程——一个千禧年大奖难题。
这题有多难?它是克雷数学研究所2000年列出的七道“千禧年难题”之一,悬赏100万美元,二十多年无人能解。
而OpenAI,用了约1万个AI智能体,狂跑88小时,光智能体之间的消息就交换了270万条。
听着像天大的好事?数学家不这么看。
声明写得很直白:AI正在把数学,变成一场“速度竞赛”。
过去数学是慢慢长的。一道难题被解开,数学家们还要花上几年甚至几十年,去验证、去讨论、去理解,再把方法传给下一代。
答案从来不是终点,理解才是。
可AI最擅长的,就是把这漫长的过程,压缩成最后一步——直接给答案。
陶哲轩的比喻很妙:
传统研究,像人徒步去找瀑布,会走错路、发现岔路、在途中撞见别的风景;AI则像一架直升机,直接把研究者空投到瀑布跟前。
效率是高了。可沿途那张“地图”,永远留在了直升机上。
别误会,陶哲轩不是反对AI。他自己每天都在用大模型做研究。
他反对的,是把“解题数量”当成AI的KPI,把“快”当成“好”。
AI当然能帮人看得更远。
但前提是,人还愿意自己走。
25位菲尔兹奖得主急的,从来不是AI抢饭碗。
他们怕的是:这条靠一代代人慢慢传下来的知识链条,被一台只想冲刺的发动机,一脚油门崩断了。