AI攻克千禧年难题,数学家反而急了:会做题≠懂数学

源自169位全网作者

09-18 13:00

内容由AI生成

精选参考来源

1. 人类琢磨了两百年的数学题,AI花88小时解开了?人类数学家怒了!

2. 韦东奕研究多年的数学难题,AI给出了答案。人类数学家怎么办?

3. 陶哲轩为什么说数学界进入证明过剩时代?|人类|数学家|速度|等式|概念_新浪新闻

4. 陶哲轩预警:AI数学证明速度已超人类审核能力,3大“阻抗不匹配”如何颠覆数学研究范式?

5. AI时代数学家存在的意义何在 从证明者到理解者_新闻频道_中华网

6. 这道数学题,AI对了吗?看到网上发了一道简单的数学题:(9-9÷9)×9+8除以4=? 评论区里,答案居然五花八门,有20,有80,有83,有72.5,有74。 72.5这数据能理解,说明你“除”和“除以”没弄明白。 但是,数据20,80,83是各位网友网上寻求答案时由AI生成的答案。 各种不同的软件由AI生成的答案居然不一样,这倒是挺费解的哈。 有意思的是,从网友们晒的图片中,AI生成时展现了整个运算过程的前部稍微难的(相对于最后一步)都不错,但到最后一步:72+2的结果却出现以下三种答案: 1、72+2=20 2、72+2=80 3、72+2=83 而且,这三个答案没一个是正确的。 看到一条评论更有意思:答案是20,不接受反驳,然后附带一张AI生成答案的截图。 作为成年人,无论我们是上过学,还是没进过学校的,看到72+2都知道等于几,可是,我们却不相信自己,而选择相信AI生成的答案,也是很有意思的。 这让我想起前段时间网上刷到的一个搞笑视频,博主问豆包要拔哪一棵玉米苗,拔去拔来,最后玉米苗都拔完了。 想必,大家刷到那条视频也忍俊不禁哈哈大笑了吧? 但笑归笑,可能大家会反思一个问题,我们,真的能不用再思考,而事事都依赖AI吗?

7. AI解开世界级数学难题,读书还有意义吗?答案很多人没想到

8. 当AI开始解数学题,我们该担心什么? 陶哲轩、邓煜等25位菲尔兹奖得主最近发了一份联合声明,矛头直指AI公司对数学的"异化"。 这不是说AI算错了,恰恰相反,AI算得太对了——近几个月,大模型已经能攻克不少重大数学难题。但问题就出在这里:AI公司把解难题当成了模型能力的评测基准,而数学研究的根本目的从来不是给出一个简单的对错答案,而是形成概念认知、催生全新洞见。 于是错位发生了。AI产出的数学解法往往仓促对外公布,缺少完整推导撰写、新方法提炼,也缺少对前人研究成果的引用。署名归属模糊了,抄袭争议浮现了,一套传承百年的学术机制正在被冲击。 学者们并不抗拒技术。他们承认AI有助力数学研究的潜力,数学界也需要主动适应变革。但声明里那句话值得反复琢磨:这项技术最终会为数学带来增益还是破坏,很大程度由掌握AI技术的人所决定。

9. AI正在疯狂收割数学难题,数学家会被取代吗

10. 88小时解开90年难题,然后吵翻了 大家好我是大发,本期讲 AI 竞赛最疯的一周。AI 用 88 小时宣称解开 90 年没解的数学题,前一天数学家先发声明:他们抢跑、还要求移除署名。OpenAI 否认,但承认不能排除你的使用数据帮了它。你喂给 AI 的草稿,到底算谁的?五件事一次盘完:数学题风暴、出图升级、小米上桌、DeepSeek 降价三分之二,还有一封 1.4 亿人看过的辞职信。

11. 解放军报——高小山:AI风暴席卷数学界,人类如何主导----中国科学院数学与系统科学研究院

12. VibeMathed:用AI自然语言解数学题并自动验证结果-CSDN博客

13. AI数学推理新突破:自我验证机制与教育应用

14. 后厂村金融哥的微博

15. AI时代数学家存在的意义何在 从证明者到理解者_中华网

16. AI推翻80年数学猜想,菲尔兹奖得主一夜没睡:以为要出局

17. AI 做题 77 分,出题只剩 25 分 —— 这 52 分,是你的主场

18. AI解出世纪数学题,先别急着封神

19. 菲尔兹奖得主们开炮:人工智能正毁掉数学 AI把数学题秒了,数学家却气炸了🤯!AI用88小时解出悬赏百万的世纪难题,结果25位菲尔兹奖得主联名公开信:你这不是做数学,是在毁数学!他们说,光给答案不算本事,没有理解、没有传承,数学就凉了。你觉得AI该不该碰数学?评论区聊聊~ #数学危机 #人工智能 #科技与人性 #菲尔兹奖 #热点讨论

20. OpenAI 解了一道 90 年的数学题,我却看出了一件更要命的事

21. 全球数学研究领域AI前置推理证明数学家后置验证新范式研究

22. 邓煜等25位菲尔兹奖得主联名发声! AI把数学当刷榜游戏,会毁掉什么? 9月11日,陶哲轩、邓煜等25位菲尔兹奖得主联署公开信,直指AI在数学中的“严重错位”。 我的判断是:这不是反对AI做数学,而是反对把数学问题当基准测试来刷榜。 AI公司追求快速宣布结果,数学家却要时间写论文、提炼方法、引用同

23. 全球顶尖数学家集体发声! AI抢解题,正在毁掉数学根基,中国科学家邓煜也在其中警告! 9月11日,陶哲轩、邓煜等25位菲尔兹奖得主联名发布公开信,警示AI与数学研究已出现严重价值错位。 声明并非抵制AI辅助科研,而是批评AI企业将攻克数学难题当作竞速跑分指标、只求结果不问过程的畸形导向,与数学研究的

24. 陶哲轩在个人博客“What's New?”上发布题为《数学领域中人工智能的严重失衡》(A Severe Misalignment of AI in Mathematics)的宣言,邓煜、彼得·舒尔茨(Peter Scholze)等25位菲尔兹奖得主参与首批联署。 这件事情其实不必急着下结论。AI能够破解过去人类长期无法解决的数学难题,首先应该是一件值得高兴的事情。毕竟数学的进步,本来就离不开工具的进步。从算盘、计算器,到计算机,再到今天的人工智能,人类一直在借助工具拓展自己的认知边界。真正值得警惕的,不是AI算出了答案,而是如果我们越来越依赖AI得到答案,却越来越无法理解答案为什么成立。数学最有价值的地方,并不仅仅是“算出结果”,更重要的是发现规律、建立证明、形成新的思想。如果AI只是通过巨大的算力搜索出一个人类暂时无法理解的答案,那么它更像是一台超级强大的探索机器;而如果它能够帮助人类发现新的规律,并让数学家进一步理解这些规律,那就是数学研究方式的一次巨大进步。所以,AI“暴力破解”数学问题究竟是好是坏,现在其实还不宜过早下定论。最理想的状态,应该不是AI取代数学家,也不是数学家拒绝AI,而是人与机器相辅相成,互相成就。人负责提出问题、寻找意义、理解规律;机器负责计算、搜索和验证。如果最终AI能够把人类带到过去根本无法抵达的数学世界,那么这不是数学家的失败,而可能恰恰是人类智慧借助机器之后的一次升级。 虽然对数学一窍不通,但从一个普通人的常识来看,技术和工具的进步,长期而言对人类社会应该还是利大于弊。人类几千年的文明史,本身就是一部不断创造工具、利用工具、再被工具改变的历史。计算器出现之后,人是不是就不会算数了?电脑出现之后,人是不是就不会思考了?互联网出现之后,人是不是就不需要学习了?答案当然不是。工具确实会改变一些能力的重要性,但与此同时,也会把人类带到过去无法抵达的地方。所以,AI能够破解一些过去人类长期无法解决的数学问题,与其马上担心“机器是不是在抢数学家的饭碗”,不如换一个角度去看:人类是不是终于拥有了一种新的工具,可以帮助自己探索过去根本无法探索的知识领域。当然,AI也可能带来新的问题,甚至会让一些传统的学习方式和工作方式失去意义。但技术进步从来不是没有代价的,关键在于我们如何使用它。理想的状态,应该不是人与机器互相取代,而是人与机器各自发挥优势。机器负责计算、搜索、验证和处理海量信息;人类负责提出问题、判断价值、理解意义,并在机器发现的基础上继续向前走。说到底,真正值得担心的可能不是机器越来越聪明,而是人类在拥有更强大的工具之后,却停止了思考。如果能够做到人与机器相辅相成、互相成就,那么AI带来的很可能不是人类智慧的终结,而是人类认知边界的一次扩张。 图源网络

25. 别再说“AI跟我没关系”:普通人的饭碗,早被这10件小事悄悄改了

26. 25位顶尖数学家集体发声,AI正在伤害数学🔍 25位菲尔兹奖得主联合发布公开信,提出警示,AI快速解题的模式,正在和数学研究的初衷出现严重错位 。 不少人以为AI帮人类解难题是大好事。 顶尖数学家却担忧,只追求答案,会丢掉思考推导最重要的过程。 根据这份《人工智能在数学中的严重错位》联合声明,他们并不是抵制AI工具本身。 AI大厂把攻克知名数学难题当做跑分指标,用来宣传模型实力,这才是矛盾根源。 数学真正珍贵的,不只是最后那一个答案,还有推导途中诞生的新思路、新方法,这些才可以代代传承下去 。✨ 普通读者也可以看懂这个信息差。 AI好比直升机,可以直接带你抵达终点,却不会留下沿途探索得来的知识地图。 只拿最终结果,很多底层逻辑、思考路径就直接消失,不利于后来者学习成长。 日常接触AI学习数理知识,可以记住两个简单做法。 不要直接复制AI给出的答案,重点追问推导过程,弄懂背后逻辑。 把AI当成辅助工具,独立思考依旧不能丢掉,不交智商税,消除信息差。 AI会彻底改变数学这门学科吗?欢迎评论区聊聊,关注我,了解更多科技科普小知识。

0
扫一下,分享更方便,购买更轻松
0评论

当前文章无评论,是时候发表评论了
提示信息

取消
确认
评论举报

最新文章 热门文章