“Math for AI”与“AI for Math”
过去两年，AI靠“暴力堆参”实现了性能飞跃。但随着如今参数规模接近物理极限，回到数学理论寻找答案成为必然。
作为 WAIC"AI三问"的逻辑起点，2025年7月26日，WAIC“数学之问”主论坛——人工智能的数学边界与基础重构论坛，将在上海世博展览馆正式开启。来自全球的数学家与AI专家，将共同就“数理与智能的双向塑造”展开深度探讨，一场智能时代的认知重构即将开启！
数学是AI的"根"，AI 是数学的"翼"，二者的融合不仅将重构智能的边界，更将为人类认知世界打开无限可能。本场论坛，也是对丘成桐先生那句“数学的伟大，在于永远向未知要答案”的呼应。
命题挑战：向AI要一个答案
菲尔兹奖得主 Charles Fefferman将在现场发布“AI+数学未解问题清单”。丘成桐教授特别选题，现场发起“命题挑战”，由预设大模型现场应战，公开展示其问题理解、逻辑推理与解题路径，带来一场数学与智能的巅峰对决。
青年结对：让答案在接力中生长
活动伊始，将举行“数学青年 × AI青年”结对仪式，邀请来自复旦大学、上海交通大学、同济大学、华东师范大学、南京大学等沿沪宁高校，以及来自慕尼黑工业大学、多伦多大学等海外高校的数学与人工智能专业学生代表结对亮相，共同走上“AI+数学”命题挑战的舞台，见证跨地域、跨学科的“握手时刻”。
未解清单：把答案写在前沿上
论坛邀请徐宗本院士、Torsten Hoefler院士等海内外专家展开主旨演讲，覆盖大模型基础架构、AI推理机制、图计算数学等多个交叉前沿议题，彰显国际视野与数理深度。
思维激辩：答案不止一个模样
“AI是数学家的对手还是助手？”在专题讨论环节中，郑凡、印佳、张文蔚等中青代学者将围绕多个AI与数学的关键话题展开思维激辩，碰撞不同学科的理论与实践逻辑，深度审视大模型的推理机制与数理基础的再定义空间。
实验室揭牌：给答案一个扎根的地方
作为论坛落地成果之一，“Hitchin–Ngo实验室”“Fefferman实验室”两大数学实验室将现场揭牌。这些实验室以知名数学家的名字命名，意在探索AI模型如何赋能几何、流体力学、拓扑等抽象数学研究，为“AI+数理”提供实质性基础设施。让每一个向未知的追问，都有生长的土壤。
多维主题演讲：寻找作答的边界
康奈尔大学、UCLA、西班牙皇家科学院等机构学者将分享AI与量化金融、数理逻辑、图计算等领域融合的实践经验，从工程、建模、演绎三方面立体展现AI对数学研究的重塑路径。
跨国圆桌：追问答案的密钥
多伦多大学教授 Luis Seco、西班牙数学科学研究院（ICMAT）研究员 Óscar García-Prada、纽约大学研究学者 Mathieu Laurière 等重量嘉宾将围绕“数学是否是通向通用人工智能的钥匙”展开探讨，重返 AI 未来愿景中的哲学根基与科学构想。
这场汇聚全球智慧的论坛，或将成为数学与AI双向驱动的历史坐标。这不仅是一场论坛，是AI与数学一次前所未有的双向检验，是面向基础研究新范式的路径搭建，是数学思维与人工智能共同走进深水区的一次历史性集结。
7月26日，上海世博展览馆，人工智能的数学边界与基础重构论坛，我们等你来现场，和全世界最顶尖的头脑一起，向未来作答。
论坛信息
时间： 2025 年 7 月 26 日（周六）13:30-17:30
地点：上海世博展览馆1号会议厅
主办单位：上海市普陀区人民政府、菲数中国
承办单位：上海市人工智能行业协会
指导单位：世界人工智能大会组委会
欢迎转发，但请注明出处“上海经信委”
觉得不错请点赞！
