|
| | 当数学堡垒被攻克，其他学科能否迎来AI突破时刻？ | | | 澎湃新闻 ｜ 2026-09-16 | | | |
| 声明： 本消息或因风格和篇幅原因进行过编辑，但未经核实，也不代表我们的立场、观点或建议。如有侵权，联系秒删。[ 使用条款 ] |
scroll 0 1 最近，AI技术在数学领域接连取得突破。Anthropic 公司宣称他们的Claude 模型在11天内完成了费马大定理的形式化验证，而Openai也宣称智能体在88小时内破解了“千禧年难题”纳维-斯托克斯方程。“科学的王后”数学似乎率先迎来了属于它的AI“奇点时刻”。
人们对此反应不一。有人认为这是AI即将帮助我们解决所有科学问题的重大信号，也有25位菲尔兹奖得主联名发声，指出大公司用解决数学问题的方式证明模型能力，但仅仅追求答案无益于科学进步。
当AI以惊人的算力攻克了数学的堡垒，是否意味着科学发现范式的彻底进化？其他科学领域是否也终将迎来“AI时刻”？9月13日，在第十九届浦江创新论坛“跨越奇点·加速科学发现”分论坛现场，海内外顶尖数学家、理论计算机科学家、物理学家、生命与材料领域学者展开了一场关于数学本质、物理现实与科学范式跃迁的深度对话。
并不意外的突破
在众多基础学科中，数学为何能成为大模型最先产生突破的地方？与会者们认为，数学是一套严密、自洽且不依赖物理现实的逻辑体系，天然适合AI计算与推理。
邓煜的合作者、密歇根大学安娜堡分校Donald J. Lewis研究助理教授马骁指出，数学定理的形式化验证正在重塑学科底层。所谓形式化，即将数学推理转化成一套精确、无歧义且可以机械验证的符号系统。这样一来，一步一步的数学推导就可以完全通过逻辑来证明对错。
马骁说，能够被计算机理解的Lean等形式化语言为代表的技术在当代数学中得到了广泛的应用，这让机器证明具备了计算上的确定性。“一旦定理被完全形式化，它的证明就不再需要被怀疑，这在数学内部是革命性的，甚至能外溢至计算机科学的代码零差错验证中。”
机械化证明可能变得极其庞大，虽然精确却未必适合人类直接阅读，正如人类棋手常常无法理解AlphaGo的招数。马骁认为，未来可能出现位于人类自然语言证明与Lean底层代码之间的更高层语言，不必把每一个细节都展开，却能够与底层证明一一对应，在保留机器可验证性的同时，尽量接近数学家的思维方式。
在这种背景下，大部分与会者都认为，AI在数学上的突破并不让人感到十分意外。上海财经大学计算机与人工智能学院院长陆品燕解释，形式化一旦完成，证明本质上就演变成了一个在确定规则空间中的搜索问题。在搜索效率上，计算机相较于人类拥有绝对的优势。
相比之下，他认为，人类至今对大模型为何能理解并生成自然语言的底层机理缺乏根本认知，“大模型能够流利地与人对话这件事，其理论突破性远大于它能证明某道数学定理。”
0 | | | |
0
8
ii
1
0
0
|
0
https://gears.popyard.space
https://www.popyard.space/img/logo_0.jpg
https://www.popyard.space
https://news.popyard.space
https://newsx.popyard.space
https://cn.popyard.space
https://plus.popyard.space
https://studio.popyard.space
https://studio.popyard.space
https://channel.popyard.space
https://adserver.popyard.space
news
八阕
新 闻
3
news-scroll
当数学堡垒被攻克，其他学科能否迎来AI突破时刻？
16
2320436
2320436
0
3
0
澎湃新闻
2026-09-16
https://bbs.popyard.space
desktop
google
google
360playvid
0
0
normal
{ "object_name":"related_list","lan_0":"cn","sub_0":"AI正在「惩罚」那些用它写作业的中学生（组图）","sid_0":"16","rid_0":"2319296","gfw_0":"0","subject_0":"AI正在「惩罚」那些用它写作业的中学生（组图）","lan_1":"cn","sub_1":"丘班成立以来最大的生存危机来了","sid_1":"16","rid_1":"2319433","gfw_1":"0","subject_1":"丘班成立以来最大的生存危机来了","lan_2":"cn","sub_2":"AI当“科研搭子”，你真的放心吗？","sid_2":"16","rid_2":"2319633","gfw_2":"0","subject_2":"AI当“科研搭子”，你真的放心吗？","lan_3":"cn","sub_3":"“误打误撞”入行，他获得北大教学成就奖（组图）","sid_3":"16","rid_3":"2319983","gfw_3":"0","subject_3":"“误打误撞”入行，他获得北大教学成就奖（组图）","total":4 }
{ "json":"done-news-scroll-related-show","lan_0":"cn","sid_0":"16","rid_0":"2319296","src_0":"人物","sub_0":"AI正在「惩罚」那些用它写作业的中学生","dat_0":"2026-09-15","sex_0":0,"gfw_0":0,"pic_0":"https://img5.angelyun.com/2026/8_15/oid324636_0.jpeg","lan_1":"cn","sid_1":"16","rid_1":"2319296","src_1":"人物","sub_1":"AI正在「惩罚」那些用它写作业的中学生","dat_1":"2026-09-15","sex_1":0,"gfw_1":0,"pic_1":"https://img5.angelyun.com/2026/8_15/oid324636_1.jpeg","lan_2":"cn","sid_2":"16","rid_2":"2319296","src_2":"人物","sub_2":"AI正在「惩罚」那些用它写作业的中学生","dat_2":"2026-09-15","sex_2":0,"gfw_2":0,"pic_2":"https://img5.angelyun.com/2026/8_15/oid324636_2.jpeg","lan_3":"cn","sid_3":"16","rid_3":"2319296","src_3":"人物","sub_3":"AI正在「惩罚」那些用它写作业的中学生","dat_3":"2026-09-15","sex_3":0,"gfw_3":0,"pic_3":"https://img5.angelyun.com/2026/8_15/oid324636_3.jpeg","lan_4":"cn","sid_4":"16","rid_4":"2319296","src_4":"人物","sub_4":"AI正在「惩罚」那些用它写作业的中学生","dat_4":"2026-09-15","sex_4":0,"gfw_4":0,"pic_4":"https://img5.angelyun.com/2026/8_15/oid324636_4.jpeg","lan_5":"cn","sid_5":"16","rid_5":"2319296","src_5":"人物","sub_5":"AI正在「惩罚」那些用它写作业的中学生","dat_5":"2026-09-15","sex_5":0,"gfw_5":0,"pic_5":"https://img5.angelyun.com/2026/8_15/oid324636_5.jpeg","lan_6":"cn","sid_6":"16","rid_6":"2319296","src_6":"人物","sub_6":"AI正在「惩罚」那些用它写作业的中学生","dat_6":"2026-09-15","sex_6":0,"gfw_6":0,"pic_6":"https://img5.angelyun.com/2026/8_15/oid324636_6.jpeg","lan_7":"cn","sid_7":"16","rid_7":"2319983","src_7":"北京大学","sub_7":"“误打误撞”入行，他获得北大教学成就奖","dat_7":"2026-09-15","sex_7":0,"gfw_7":0,"pic_7":"https://img5.angelyun.com/2026/8_15/oid325010_0.jpeg","lan_8":"cn","sid_8":"16","rid_8":"2319983","src_8":"北京大学","sub_8":"“误打误撞”入行，他获得北大教学成就奖","dat_8":"2026-09-15","sex_8":0,"gfw_8":0,"pic_8":"https://img5.angelyun.com/2026/8_15/oid325010_1.jpeg","lan_9":"cn","sid_9":"16","rid_9":"2319983","src_9":"北京大学","sub_9":"“误打误撞”入行，他获得北大教学成就奖","dat_9":"2026-09-15","sex_9":0,"gfw_9":0,"pic_9":"https://img5.angelyun.com/2026/8_15/oid325010_2.jpeg","lan_10":"cn","sid_10":"16","rid_10":"2319983","src_10":"北京大学","sub_10":"“误打误撞”入行，他获得北大教学成就奖","dat_10":"2026-09-15","sex_10":0,"gfw_10":0,"pic_10":"https://img5.angelyun.com/2026/8_15/oid325010_3.jpeg","lan_11":"cn","sid_11":"16","rid_11":"2319983","src_11":"北京大学","sub_11":"“误打误撞”入行，他获得北大教学成就奖","dat_11":"2026-09-15","sex_11":0,"gfw_11":0,"pic_11":"https://img5.angelyun.com/2026/8_15/oid325010_4.jpeg","total":12,"action":"fetch" }
点击朱笔，直抒胸臆