WAIC 2026确立数理双向赋能三大主线，从参数内卷转向基础理论创新

事件概述

WAIC 2026（世界人工智能大会）定于2026年7月17日至20日在上海举行。本届大会将基础理论原始创新作为核心主题，确立“Math for AI”“AI for Math”“AI+数学落地现实世界”三大主线，试图解决当前AI产业过度依赖参数堆叠、算力透支、可解释性弱等底层数理缺失问题。大会设置斯梅尔数学与人工智能论坛、华院计算认知智能论坛、WAICA数学建模与科学计算研讨会三个高端学术板块。

核心信息

• Math for AI：该方向旨在通过凸优化、泛函分析、偏微分方程等数学工具重构大模型训练逻辑与架构。清华大学与上海AI Lab联合开发的测试时强化学习框架可有效提升数学竞赛模型性能；英伟达Nemotron-Math则依托数理推理数据集实现大模型数学推理能力体系化升级。论坛上，徐宗本院士将拆解AI“无限维科学命题与有限维工程技术”的核心矛盾，鄂维南、董彬、金石等学者将分享微分方程与神经网络融合、复杂系统建模等前沿成果。

• AI for Math：聚焦AI辅助数学原始创新，包括自动定理证明、形式化数学、符号-数值混合推理等方向。代表性成果包括DeepMind AlphaGeometry达到IMO级几何推理能力，AlphaEvolve推进接吻数难题研究；北京大学AI4MATH团队成功证伪Anderson猜想并完成形式化验证，成果发表于《Nature》。论坛上，曼纽尔·布鲁姆、范剑青等学者将探讨智能技术破解复杂数理难题的路径，唐伟博士分享AI for Science前沿实践。

• AI+数学落地：调和分析、数值计算、拓扑建模等工具已用于优化工业视觉、医疗影像、气象模拟等任务。AI的高效求解与智能仿真能力也降低了高端制造、智能风控、航空航天领域的数理建模成本。大会依托三大论坛搭建“数理研究—AI迭代—产业赋能”完整链路。

• 关键背景：菲尔兹奖得主丘成桐在WAIC 2022即提出“数学是AI基石，AI助力数学研究”的论断。WAIC 2025曾推出“数学之问”学术对话，由丘成桐命题、国产大模型现场解题，推动数理思辨。本届WAIC进一步将理论创新从浅层工程竞赛中独立出来。

• 特别活动：WAICA数学建模与科学计算研讨会由大会与同济大学联合举办，聚焦物理信息神经网络、神经算子、数据-物理混合驱动等方向，兼顾理论创新与工程仿真、数字孪生、气候模拟等场景落地。