AI人工智能将成为2026年ICM国际数学家大会（数学界规模最大的盛会）的核心议题|人工智能|克里斯|康托|数学家大会|罗伯特

★置顶zzllrr小乐公众号，追踪《小乐数学科普》系列报道！

今年夏天即将在费城举办的国际数学家大会ICM，将开设多场专题讨论与讲座，探讨AI人工智能以及数学领域的人文内涵。

作者：Yen Duong（Simons Foundation西蒙斯基金会科学记者）2026-5-4

译者：zzllrr小乐（数学科普公众号）2026-5-8

求喜欢

加州大学洛杉矶分校教授陶哲轩（Terence Tao）在黑板旁

图源：David Esquivel 加州大学洛杉矶分校UCLA

加州大学洛杉矶分校教授陶哲轩（Terence Tao）将在本届（2026）国际数学家大会上发表演讲，阐述人工智能与形式化方法将如何改变数学研究与教育，同时聚焦数学作为人类智力活动的本质。

人工智能正迅速重塑数学领域的格局。例如近期，一名 23 岁的研究者借助 ChatGPT，在 80 多分钟内简洁地解决了困扰学界 60 年的埃尔德什第 1196 号问题 https://www.erdosproblems.com/1196 。

因此，今年7月，全球数千名数学家将齐聚费城参加这场世界最具声望的数学会议，人工智能无疑将成为众人关注的焦点。国际数学家大会始于 1897 年，每四年举办一次，全球顶尖数学家们将通过讲座、研讨会与会场中的自由交流，探讨该领域最前沿的议题。（参阅小乐数学科普：）

今年，公众讲座、特邀报告与学术报告中都将涉及人工智能相关讨论。部分热议源于相关研究项目，这些项目支持数学家借助机器可验证代码撰写并形式化证明。其他讨论则聚焦人工智能如何改变数学教育，以及人工智能如何助力守护并激发数学领域中富有美感与创造性的人类探索。

守护人文要素

加州大学洛杉矶分校的陶哲轩将发表题为《人工智能时代的数学》 https://arxiv.org/abs/2603.26524 的公众讲座，详情参阅小乐数学科普：，这一演讲正体现了上述理念。

陶哲轩将阐释人工智能与形式化方法将如何改变数学研究与教育，同时聚焦数学作为人类智力活动的独特价值。

陶哲轩在 2006 年国际数学家大会上荣获素有声望的菲尔兹奖，他表示：“我将探讨…… 为何在这场变革中，我们这一行业中独具人文特色的部分至关重要，不应被遗失，以及为何我们要更清晰地认识数学更广泛的目标，而不只是那些能被计算机高效解决的问题。”

过去一个世纪左右，一个重要的发展方向是跨学科研究：要么构建数学的 “宏大理论”，要么将数学与其他科学领域相连接。例如 2024 年，数学家罗伯特・克里斯特（Robert Ghrist）询问人工智能助手某一抽象理论可应用于何处，人工智能推荐了金融网络领域。随后，克里斯特花了一年时间学习该领域，并发表了相关论文。

宾夕法尼亚大学副院长罗伯特・克里斯特（Robert Ghrist）认为，人工智能将助力数学家将其理论与现实世界应用相结合。

图源：Eric Sucar 宾夕法尼亚大学

宾夕法尼亚大学副院长罗伯特・克里斯特表示：“这类跨领域研究通常难度很大，因为数学家与其他领域科学家往往使用截然不同的话语体系。人工智能有望推动应用数学迎来真正的复兴，让作为领域专家的纯数学家拥有理想的交流伙伴，将其理论与现实应用相结合。”

助力科研发现的人工智能助手

形式化是另一个较新的发展方向。罗格斯大学数学家亚历克斯・康托罗维奇（Alex Kontorovich）将在本届ICM国际数学家大会作特邀全体报告 https://arxiv.org/abs/2510.15924 ，探讨自动形式化 —— 即人工智能将经典数学知识形式化，这一方向在上一届（2022年）国际数学家大会上受到广泛关注。（参阅今日zzllrr小乐公众号新文章：2026国际数学家大会ICM全体大会1小时报告内容剧透之《未来数学的形态》by Alex Kontorovich亚历克斯・康托罗维奇及：）

康托罗维奇表示，人工智能与人类越早将已知数学知识形式化，更多研究者就能越早借助人工智能辅助数学发现。包括康托罗维奇在内的倡导者 —— 他同时担任证明辅助工具 Lean 的战略咨询委员会成员 —— 已开始将人工智能基础应用于自身研究工作。

谈及探索人工智能的初衷，康托罗维奇说：“我的出发点是一些复杂的代数运算。我可以在纸上手工计算，但很可能会出错。所以我要反复算五次，直到两次得出相同结果。或者我可以把运算输入软件，它会直接验证其中一次计算的正确性。我再也不用浪费时间反复核对计算结果了。”

除了助力构建形式化数学知识库，人工智能正日益扮演参考馆员的角色。布兰代斯大学研究生瓦西里・涅克拉索夫（Vasiliy Neckrasov）将在国际数学家大会上作简短报告，他在研究中经常使用人工智能。

谈及研究中需要用到但自身并不了解的一个结论时，涅克拉索夫说：“直觉上，这个结论应该成立且为人所知。如果提示词写得足够详细，人工智能给出的结果往往不只是普通搜索 —— 它会提供一些以不同形式表述的引理，这些结论是你仅靠关键词无法预料到的，却恰好能解答你所需的问题。”

支持教育发展

人工智能还简化了日常教学事务：涅克拉索夫用人工智能生成不同版本的习题集或测试题，确保计算结果为 “规整” 的数字。从更广泛的层面来看，人工智能已影响数学教育的多个方面，包括辅导、个性化学习与计算辅助。一场名为 “人工智能时代的数学教育” 的圆桌会议将邀请专家弗洛伦斯・加布里埃尔（Florence Gabriel）参与讨论。数学教育专家加布里埃尔表示，尽管人工智能产品与工具很有帮助，但她更希望聚焦数学学习中 “深度人文技能” 的培养。

澳大利亚阿德莱德大学学习变革与复杂性中心高级研究员加布里埃尔说：“尤其新颖且充满希望的是，越来越多人认识到人工智能可以被设计用于支持学生学习过程中的情感体验。我们近期研究表明，人工智能可以借助学生输入信息，识别学习过程中的挫败感或注意力不集中等迹象，并以更具支持性的方式作出回应，从而帮助解决数学焦虑等难题。”

尽管数字工具不断兴起，学习与研究数学的 “深度人文” 要素，正是此次费城线下会议依然至关重要的原因。康托罗维奇表示，参加系里每日茶歇交流能促进科研灵感，数学家们在国际数学家大会这类会议上能建立富有成效的合作联系。

他解释道：“正是那些无法刻意安排的自发交流，推动科研取得突破。随机偶遇他人，让思维向各种新奇方向迸发，这是完全不同的体验。这也正是我们都需要亲临现场交流数学思想的原因。” 康托罗维奇将在大会上作全体报告，探讨人工智能与数学的未来发展。

参考资料

https://www.simonsfoundation.org/2026/05/04/ai-will-be-top-of-mind-at-icm-maths-biggest-conference/

https://www.erdosproblems.com/1196

https://arxiv.org/abs/2603.26524

https://arxiv.org/abs/2510.15924

https://www.icm2026.org/event/ac193975-5d24-4628-8c30-ddb23de19a8b/speakers

小乐数学科普近期文章

·开放 · 友好 · 多元 · 普适 · 守拙·