2025 WAIC聚焦AI与数学融合：探索智能新边界

2025年7月26日，上海世博展览馆迎来了一场高端论坛，聚焦"人工智能的数学边界与基础重构"。作为世界人工智能大会（WAIC）的重要部分，这场论坛由上海市普陀区人民政府与菲数中国主办，上海市人工智能行业协会和上海东浩兰生威客引力信息科技有限公司联合承办，吸引了全球关注。随着AI技术与数学研究的深度交织，2025 WAIC的召开为二者的协同发展搭建了关键对话平台。

一、AI与数学为何成为全球焦点？

近年来，人工智能与数学的双向需求日益迫切，推动了这场论坛的诞生。大模型参数的激增使得传统调参方法陷入瓶颈，模型的泛化能力、安全性、能耗控制等核心问题亟待数学理论的系统性支撑。同时，AI对数学的反哺效应显著，DeepMind的AlphaGeometry在证明欧几里得平面几何定理方面超越IMO参赛者平均水平，这种“AI for Math”模式正在改写数学研究范式。

在2025 WAIC的“人工智能的数学边界与基础重构论坛”上，AI与数学的交叉领域前沿动态与深度碰撞得到充分展示。

（一）菲尔兹奖得主的关注

两位菲尔兹奖得主普林斯顿大学的Charles Fefferman和丘成桐教授的参与成为论坛亮点。Fefferman通过视频致辞带领观众回溯数学与计算的发展历程，而丘成桐教授为论坛特别选题命题，通过“人类出题—机器作答”模式检验AI能力。

（二）大模型现场解答数学题

上海人工智能实验室等四家机构的基础大模型现场解题，展示了AI在解决复杂数学问题中的能力。

（三）数学家与大模型的思维激荡

在圆桌论坛上，数学家与大模型团队展开深度交锋，展示了AI在解决复杂几何题中的分步拆解和逻辑推理能力。

（四）数学与AI的握手：国际高校结对

中外学生“结对”仪式象征了数学与AI的跨域融合，为青年学者提供了交流与研究的机会。

（五）顶尖学者的主旨演讲

中国科学院院士徐宗本和欧洲科学院院士Torsten Hoefler分别就AI架构设计和算力与推理进化进行了深入探讨。

（六）两大国际数学实验室首发

Hitchin–Ngo实验室和Fefferman实验室在沪揭牌，标志着国际顶尖数学研究力量落地上海。

（七）全球数学家的思辨对话

在“数学突破是否通向AGI的钥匙”双边对话中，多位学者探讨了AI与人类数学家在突破智能问题中的作用。

整场论坛中，上海市领导明确提出要以数学创新驱动AI技术迭代，推动产业升级。普陀区委书记表示将推动“AI+数学”协同攻关，打造产业创新带。这些表态勾勒出上海通过建设数学与交叉学科研究院等推动全链条突破的战略蓝图。

二、AI如何重塑数学研究？从辅助工具到共创伙伴的演进

AI对数学研究的影响历经数十年演进，从早期的计算辅助逐步发展为具备协同能力的研究伙伴。随着技术的提升，机器开始处理超大规模逻辑推理，并在规律发现与猜想生成上展现出独特优势。

（一）机械验证与形式化萌芽（1970s-2000s）

这一阶段的核心是将数学证明转化为“机器可验证代码”，计算机承担起“超级校对员”的角色。

（二）算法驱动的逻辑推理（2010-2020）

随着算法理论与算力的提升，机器开始处理超大规模逻辑推理，SAT与SMT求解器成为核心工具。

（三）深度学习与大模型时代（2020至今）

近年来，深度学习与大语言模型的发展使AI从“验证工具”升级为“发现助手”，开始主动参与数学规律的挖掘与猜想的生成。

三、上海：AI与数学融合的天然沃土与实践路径

上海作为中国人工智能发展的高地与数学研究的重镇，在推动AI与数学融合发展上具备独特优势。通过系统化布局，上海正打造全球标杆。

（一）立足城市基因：融合发展的先天优势

上海的科创基因与学术积淀为AI与数学交叉研究提供了沃土。

（二）聚焦前沿方向：锚定数学与AI交叉的核心领域

上海正围绕基础理论突破、AI辅助数学研究和产业场景转化三大方向布局。

（三）构建支撑体系：从人才到生态的全链条保障

上海通过打造人才枢纽、建设开放平台、完善政策支撑和推动场景落地等措施，完善融合发展生态。