上海市委常委、副市长陈杰在致辞中指出，要以数学的基础创新驱动人工智能（AI）技术迭代，赋能产业升级，面向全球征集“AI+数学”综合性解决方案，加快构建一流创新生态。

普陀区委书记胡广杰表示，将主动服务沿沪宁产业创新带建设，推动“AI+数学”协同攻关，把普陀打造成为沿沪宁产业创新带的引力场、智汇源、孵化器和服务中心。

两位菲尔兹奖得主的深度参与是论坛最大亮点。普林斯顿大学教授查尔斯·费夫曼在视频致辞中回溯了从早期机械验证到AI赋能协同演进的数学与计算的发展历程。而菲尔兹奖首位华人得主丘成桐团队联合欧洲、日本数学家精心遴选，为论坛特别命题，直接考验AI的深层推理能力。

考题由机器模型现场作答，并在屏幕实时展示推理过程。其中，上海人工智能实验室的Intern-IMO系统成功破解2025年国际数学奥林匹克竞赛首题，通过自然语言推理完成几何构型分析与归纳证明，获IMO官方打分员认可；阶跃星辰模型则在不等式证明中展现“工具调用”能力，当自身代数计算出错时，主动借助外部工具验证并修正思路，最终完成形式化验证；商汤“日日新”大模型更通过图文混合输入，分别以坐标计算与辅助线构造两种方法求解平面几何题，展现多路径推理能力。

论坛现场。图片由主办方提供

  ?

圆桌论坛环节，西班牙国家研究委员会研究员郑凡与上海人工智能实验室专家合作，展示AI对复杂几何题的分步拆解过程；复旦大学教授印佳与商汤团队则呈现AI对学生错误解答的批改过程，模型不仅指出角度计算失误，还追溯逻辑漏洞源头。上海科技大学教授蔡明亮点评称，大模型在概率递推问题中展现的逻辑链完整性令人惊讶，但在需要“反直觉”构造的场景仍显不足，而这正是人类数学家的核心价值所在。

在中外学生“结对”仪式环节，10位来自牛津大学、剑桥大学、多伦多大学、慕尼黑工业大学等国际高校以及上海交通大学、复旦大学、同济大学等沿沪宁高校的数学与AI专业学生结对。后续，这些学生将围绕“AI辅助形式化证明”“数论问题的机器学习探索”等课题开展联合研究。

随后的主旨演讲环节，中国科学院院士徐宗本直指AI架构设计的核心矛盾——智能问题本质是无限维的，而技术实现却受限于有限参数，提出通过算子簇公共不动点理论设计深度架构，并以实验证明大模型存在“冗余阈值”，为模型优化提供数学依据。瑞士苏黎世联邦理工学院教授托尔斯滕·霍夫勒则聚焦算力与推理进化，分析大语言模型从“下一词预测”到“思维树推理”的跃迁，提出通过量化压缩与稀疏激活提升效率，其团队研发的网络拓扑策略使AI算力利用率提升10-15倍。

Hitchin–Ngo实验室与Fefferman实验室同期揭牌成立，前者将攻关镜像对称等前沿问题，探索几何与物理的深层联系，后者则致力于用AI破解流体力学奇异性难题，助力天气预报与湍流模拟。未来将采用“双基地”模式，联动欧洲与上海的算力和数据资源。