7月26日，在?2025?世界人工智能大会（WAIC）“人工智能的数学边界与基础重构论坛”?上，全球顶尖智慧齐聚申城，共同见证一场关乎未来的深度变革?——AI?与数学这对?“双引擎”?正加速耦合。现场，两大国际数学实验室的揭牌。

其中，Hitchin–Ngo?实验室将攻关镜像对称等前沿问题，探索几何与物理的深层联系；Fefferman?实验室则致力于用?AI?破解流体力学奇异性难题，助力天气预报与湍流模拟。两个实验室落地普陀，不仅是对上海科研实力的高度认可，更标志着全球数学与?AI?融合研究的重心向中国倾斜。中共普陀区委书记胡广杰表示，普陀正全力打造?“沿沪宁?AI?+?数学协同攻关高地”，这一布局与上海建设国际科创中心的目标形成呼应，让基础研究的?“根”?扎得更深。

此外，论坛上的?“人机对抗”?与青年结对环节，体现了上海培育创新生态的长远布局和谋划理念。青年结对环节，10?位来自牛津大学、剑桥大学、多伦多大学、慕尼黑工业大学等国际高校，与上海交大、复旦大学、同济大学等沿沪宁高校的数学与?AI?专业学生结对。之后，他们将围绕“AI?辅助形式化证明”“数论问题的机器学习探索”等课题开展联合研究，形成“本土培育?+?国际交流”的人才培养闭环，为全球数学智能领域储备青年力量。“人机对抗”中，著名数学家、菲尔兹奖首位华人得主丘成桐教授为论坛特别选题命题，题目由其团队联合欧洲、日本数学家精心遴选，聚焦几何与代数的交叉难题，直接考验?AI?的深层推理能力，由机器模型现场作答，屏幕实时展示?AI?推理过程。这种“人类出题?—?机器作答”的模式，既是对?AI?能力的检验，也是人机协同的一次生动演示，旨在通过顶尖数学家的“问题嗅觉”，引导?AI?聚焦真正具有突破性的核心难点，避免技术算力的无效消耗。

此次论坛作为?WAIC?的重要组成部分，不仅是思想碰撞的平台，更是上海展现基础研究实力与创新生态的窗口。“这次的大会聚焦‘数学’这样一个非常关键且前沿的问题，实际上是直击人工智能发展的要害。”中国科学院院士徐宗本表示，目前，国内人工智能的发展仍处于工程化阶段，想要在人工智能领域真正崛起，就必须提升基础理论研究水平。“这次的会议可以说是发出了一个信号：发展人工智能必须从基础研究和原始创新抓起，这才是正确的道路。”?

学术研讨环节，顶尖学者的洞见为上海的创新路径提供了理论支撑。徐宗本提出?“AI?需以有限维技术破解无限维问题”，提出了基于极限架构的存在性和极限架构行为来评价AI系统的理论方法，阐明了深度架构设计问题是函数空间上的算子簇公共不动点问题，进而提出了深度架构设计的方法:基于极小化序列的基算子构造与算子修饰方法，其对大模型架构的数学解析，为上海算法创新研究院的技术突破提供了方向；瑞士国家超级计算中心?Torsten?Hoefler?关于?“推理时代”?的判断，与上海人工智能实验室的前沿探索高度契合，彰显上海在全球?AI?竞争中的敏锐嗅觉。