米兰体育

网易米兰体育 > > 正文

困扰人类90年的数学难题,AI用88小时解决了!孩子还要不要学数学?

0
分享至

请点击 下面名片 关注CG说科技,感恩遇见!

2026年9月,一道困扰数学家近90年的千禧年难题,被AI用88小时解出来了。

纳维-斯托克斯方程,描述流体运动的核心方程,克雷数学研究所悬赏100万美元的七大难题之一。OpenAI调动约一万个AI智能体,跑了2.7亿条消息,生成了1300亿个token,产出了证明,还完成了形式化验证。

但这还不是最震撼的。


真正让我坐直了的,是紧接着发生的事。

25位菲尔兹奖得主——包括陶哲轩、邓煜、彼得·舒尔茨——联合发表了一份声明。标题叫《人工智能在数学中的严重错位》。

声明里有一句话,我反复读了好几遍。他们说:问题解决本身只是工具,不是目标。数学共同体的真正追求,是概念理解与洞见。

翻译一下:AI证明了。但数学界不认。

你可能会想:这帮数学家是不是酸了?饭碗被抢了所以跳脚?

陶哲轩自己说了,过去几个月大语言模型的数学能力提升速度“惊人”,已经能解决多个领域的重要开放问题。他们承认AI强,承认AI有用。他们反对的不是AI,是AI被当作解题速度的竞赛工具。

一个细节值得琢磨。OpenAI宣布解题的前一天,纽约大学数学家巴克马斯特刚公开了同方向的进展。他随后质疑:OpenAI是不是“偷看”了他放在工具里的草稿?OpenAI否认,但承认“不能完全排除相关产品数据参与了训练”。

数学家柯蒂斯·麦克马伦打了个比方。他说数学家是登山者,巴克马斯特已经在半山腰扎了营,离登顶可能只差几个月。OpenAI干了什么?他们“四处物色可以空投的位置,然后往那儿空投了一队机械登山者,抢在所有人前面登上了峰顶”。

他们有了答案。但没有故事。

这才是数学家真正焦虑的东西。

数学里最珍贵的是什么?不是那个最终的答案。是通向答案的路上,人类发明了什么新工具,构建了什么新理论,开辟了什么新分支。

黎曼几何在诞生时,没人知道它能用来描述引力场。伽罗瓦群论在创立时,没人知道它会成为现代密码学的根基。这些“副产品”——那些在求解路上被迫发明出来的思想——才是数学留给人类真正的财富。

AI怎么做的?它以摧枯拉朽的速度刨开土层,把答案摆在人类面前。中间的过程,它根本不在乎。

速度是它唯一的语言。


那问题来了。如果AI能解题,如果答案一键可得,我们的孩子为什么还要坐在教室里,从“1+1”开始,一道题一道题地算?

有人说,因为数学是思维的体操。这话没错,但太轻飘飘了。

我想说一个更具体的理由。

你学数学,不是为了让你的大脑变成一个更快的计算器。你已经有计算器了,它比你的大脑快一百万倍。

你学数学,是为了在你看到一个AI给出的“证明”时,有能力问一句:等等,这里不对。

陶哲轩在声明发布后说了一句话,被广泛引用。他说:“好问题将比好答案更稀缺。”

注意他说的方向。不是“好答案”更稀缺,是“好问题”更稀缺。

AI可以把一道题解得漂漂亮亮。但它不会问“这个问题值不值得解”。它不会问“这个证明背后有没有更深的东西”。它不会在所有人都认为某个猜想是“铁律”的时候,突然冒出一个念头:万一它是错的呢?

匈牙利数学家埃尔德什1946年提出过一个平面单位距离问题,悬了几十年。AI后来发现了他猜想中的漏洞,构造出了反例。但那个“万一”的念头,是人类的。AI只是在被问到之后,去验证了那个念头。

提出问题,才是数学的灵魂。解题,只是它的影子。

回到你的问题。孩子为什么还要学数学?

因为你的孩子将来要面对的世界,是一个AI可以在一瞬间给出任何答案的世界。在那个世界里,最不值钱的就是答案。答案太多了,太便宜了,太容易得到了。

值钱的是判断力。是看到一个答案时,知道它是胡说八道还是真知灼见。是看到一个证明时,感受到它背后有没有“灵魂”。是面对一个从来没有被解决过的问题时,有勇气说:让我想想。

这些东西,AI给不了。AI能给你一份166页的证明,但它给不了你那个让你在深夜辗转反侧的“为什么”。


有个教数学的老师写过一段话,我印象很深。她说AI时代数学教育的重点,应该从“熟练计算”转向“概念验证”——孩子需要有能力做自动化系统的“人类监督者”。

什么意思?就是当AI给你一个结果的时候,你得有本事说:这看起来不太对。

你的数学能力,是你对抗算法黑箱的最后一道防线。

所以,学数学吧。不是为了跑得比AI快,那是徒劳的。是为了在所有人都被一个“答案”带着跑的时候,你有能力停下来,问一句:

等等。真的是这样吗?

这才是数学给你最好的东西。不是那些公式,不是那些定理。是不相信的勇气,和去验证的能力。

AI可以解题。但提问的人,永远应该是你。

你的孩子,将来是做一个被答案喂饱的人,还是做一个能提出好问题的人?

Trip

电脑咨询

公众号|CG电脑说

公众号|CG说科技

作者:cg,资深电脑专家,从事电脑咨询工作十余年,精通网络规划、安全防护等领域。来源:CG说科技(ID:dnzxpt)。

免责声明:文章内部分图片或观点来源于网络,不代表100%真实性,如有侵权,请联系删除。

喜欢请一键三连“分享”“点赞”“在看”


特别声明:以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布,本平台仅提供信息存储服务。

Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.

相关推荐
热点推荐
又是懂车帝!神木问界撞柱起火,两年前的预警全应验了!

又是懂车帝!神木问界撞柱起火,两年前的预警全应验了!

起点财经
2026-10-24 13:56:09
哈兰德7轮9球难救主,蓝军旧将梅开二度,维拉2-1送曼城英超首败

哈兰德7轮9球难救主,蓝军旧将梅开二度,维拉2-1送曼城英超首败

钉钉陌上花开
2026-10-24 21:22:20
“世上怎有如此厚颜无耻之徒”!上海一女子在星巴克开会被催5次点单,吵翻全网,有专家说公道话了

“世上怎有如此厚颜无耻之徒”!上海一女子在星巴克开会被催5次点单,吵翻全网,有专家说公道话了

火山詩话
2026-10-24 07:01:25
王毅外长就台海问题表态后,赖清德放话:大陆若动武,会以一对多

王毅外长就台海问题表态后,赖清德放话:大陆若动武,会以一对多

迷彩人生
2026-10-24 11:51:12
“重大转变”!英媒爆料:内塔尼亚胡下令以色列调整马岛问题立场,“转而支持阿根廷”

“重大转变”!英媒爆料:内塔尼亚胡下令以色列调整马岛问题立场,“转而支持阿根廷”

环球网资讯
2026-10-24 20:25:07
高盛最新预测:上海深圳未来两年房价涨幅预期上调至20%,全国新房价格有望2029年企稳,二手房预计2030年止跌

高盛最新预测:上海深圳未来两年房价涨幅预期上调至20%,全国新房价格有望2029年企稳,二手房预计2030年止跌

投资者内参
2026-10-22 08:50:06
突发!任泽平公众号被禁止关注,刚发布《中国人口趋势报告2026》

突发!任泽平公众号被禁止关注,刚发布《中国人口趋势报告2026》

财通社
2026-10-24 13:15:25
某汽车自媒体正式向尊界汽车致歉,赔偿并全网禁言

某汽车自媒体正式向尊界汽车致歉,赔偿并全网禁言

大厂财经社
2026-10-24 16:51:29
赛前提前庆祝!3连败后蓉城球迷怒了 拉横幅控诉主帅:庸才还钱滚蛋

赛前提前庆祝!3连败后蓉城球迷怒了 拉横幅控诉主帅:庸才还钱滚蛋

我爱英超
2026-10-24 19:01:18
八国外长“史无前例”齐聚土耳其,反对对伊朗采取军事行动

八国外长“史无前例”齐聚土耳其,反对对伊朗采取军事行动

澎湃米兰体育-米兰(中国)官网
2026-10-24 19:48:28
歌手毛不易出席20多年好友婚礼致辞引争议:“虽然不是我的妻子”,但从校服到婚纱,是我生活中交集最多的人

歌手毛不易出席20多年好友婚礼致辞引争议:“虽然不是我的妻子”,但从校服到婚纱,是我生活中交集最多的人

台州交通广播
2026-10-23 17:49:45
视频丨内塔尼亚胡称美国“已经变了”

视频丨内塔尼亚胡称美国“已经变了”

国际在线
2026-10-24 15:57:58
扑杀200万只野猫,启用“自动杀猫机”,对家猫“宵禁”……澳大利亚为什么不肯放过野生“哈基米”?

扑杀200万只野猫,启用“自动杀猫机”,对家猫“宵禁”……澳大利亚为什么不肯放过野生“哈基米”?

新民周刊
2026-10-24 18:37:22
史上最大化债行动,已开始!我们坚持了30年的信仰,将进入倒计时

史上最大化债行动,已开始!我们坚持了30年的信仰,将进入倒计时

混沌录
2026-10-23 21:47:18
勇士被轰17-0崩盘惜败灰熊:库里24分 探花25+13+6杰罗姆28分

勇士被轰17-0崩盘惜败灰熊:库里24分 探花25+13+6杰罗姆28分

醉卧浮生
2026-10-24 12:52:14
俄媒警告中国:美国打伊朗只是幌子,目的是逼解放军到太平洋决战

俄媒警告中国:美国打伊朗只是幌子,目的是逼解放军到太平洋决战

青青衫书生
2026-10-24 16:05:25
乒乓亚锦赛:男单4强出炉!国乒2人晋级,张本智和“失二追三”大逆转

乒乓亚锦赛:男单4强出炉!国乒2人晋级,张本智和“失二追三”大逆转

全言作品
2026-10-24 22:46:24
对症下药了!老干妈AI分拣辣椒由600余人减至48人,人大代表提出机器替岗缴社保,舆论争议不断

对症下药了!老干妈AI分拣辣椒由600余人减至48人,人大代表提出机器替岗缴社保,舆论争议不断

火山詩话
2026-10-24 08:00:29
美中期选举提前投票大增,多数摇摆州进度远超2022年,民主党大幅领先,传统红州遇变数,共和党优势面临考验

美中期选举提前投票大增,多数摇摆州进度远超2022年,民主党大幅领先,传统红州遇变数,共和党优势面临考验

14号观星辰
2026-10-24 17:19:23
女子深夜收到酒店停车弹窗,误会丈夫开房,连打七八个电话查岗,丈夫开视频自证清白:在菜园喂鸡

女子深夜收到酒店停车弹窗,误会丈夫开房,连打七八个电话查岗,丈夫开视频自证清白:在菜园喂鸡

都市快报橙柿互动
2026-10-24 02:35:32
2026-10-25 01:03:00
CG说科技 incentive-icons
CG说科技
提供数码家电、科技等最新资讯,好物推荐、咨询等服务。
1100文章数 119关注度
往期回顾 全部

写程序、做3D,新Kimi还有多少本事?

澳官方扑杀200万只野猫 当地人直接搬出"全自动杀猫机"

澳官方扑杀200万只野猫 当地人直接搬出"全自动杀猫机"

从乐透秀到总冠军再到没工作 一共要几年?

翁虹19岁女儿三次拒爱,在美国上学却“不随便”

叫"保障"不叫"保险":租车平台的文字游戏

大众安徽与众09正式上市 双十一权益价16.99万起

态度原创

百亩大盘又 +1!攒量超 200 万㎡!江东,要燃起来了!

独家!海淀五大学科竞赛成绩曝光!释放三大重磅信号

双城联动汇集近百个知名品牌!2026澳琴露营节开幕

加价入手的人后悔了!iPhone Duo已破发:比官网还便宜200元

怕停产专场|| 35岁后越来越觉得,真正的“长期主义”是保住它

无障碍浏览 进入关怀版