（来源：上观新闻）

11月21日—25日，由菲数中国与联合国大学水、环境与健康研究所（UNU-INWEH）共同主办的 2025菲数AI数学训练营在上海普陀区海纳小镇数字创新中心。

来自英国帝国理工学院、牛津大学、普林斯顿大学、哈佛大学、多伦多大学、慕尼黑工业大学、哥伦比亚大学、西班牙数学科学委员会等全球顶尖科研机构的近40位硕博研究生、青年科学家与教授齐聚上海，共同开启一场以“AI + 数学”为核心的前沿探索。

本次训练营，是继今年7月菲数中国举办可持续人工智能国际暑期学校、菲数国际数学研讨会，并与普陀区政府联合举办2025世界人工智能大会（WAIC）“人工智能的数学边界与基础重构论坛”之后，上海在“AI+数学”战略方向的又一次重要实践。

上海持续完善科学智能（AI for Science）的布局，推动数学与人工智能深度交叉融合，打造具有全球影响力的创新策源能力体系。当前，上海正围绕三大前沿方向系统布局：一是数学理论为人工智能提供“公理支撑”；二是推动“AI辅助数学研究”；三是加速数学在智能制造、智能医疗等产业场景中的转化应用。

本次训练营汇聚来自11个国家和地区的青年研究员、博士后和硕博士生，形成“青年科学家为主体、国际专家为导师、AI+数学为主线”的科研创新氛围。参训人员涵盖算法理论、控制与优化、机器学习、流体数学、计算建模、可持续智能等多个方向，为携手推动AI+数学跨学科创新贡献青年力量。

青年科研力量是推动AI与数学融合与原创性突破的关键。青年学者在训练营中不仅是参与者，更是创新主体、探索者与未来数学和人工智能突破的潜在引领者。

训练营首日，备受关注的 AI 数学黑客松正式发布赛题。比赛围绕全球性议题，以“数学推理 + AI 算法 + 可持续发展”为主线，设置两大赛道。赛道一聚焦“AI与环境建模”，要求参赛者估算森林生物量、碳储量及生态系统服务价值等，为现实环境可持续发展提供参考；赛道二着眼于“AI与数学科研”，要求参赛者利用AI检测科研论文中数学证明中的拼写错误与逻辑缺陷。此次黑客松竞赛由包括菲尔兹奖得主艾菲·杰曼诺夫、图灵奖得主杰克·唐加拉、斯德哥尔摩水奖获得者约翰·谢里等多位国际顶尖科学家共同组成的评审委员会进行评审。

这是一次以青年科研力量为核心驱动的攻关实践，每个问题都要求参赛团队兼具数学思维深度与AI模型创新性，实现跨界突破。

11月23日至24日，菲数中国与上海纽约大学联合举办 “优化、控制与人工智能”国际研讨会，聚焦“数学如何为人工智能的稳健性、可解释性与可靠性提供严谨的分析框架”以及“人工智能如何作为强大的计算与探索工具，反哺数学理论与方法的原始创新”两大核心议题，并由训练营的青年教授与博士后担任主要报告者。

研讨会期间，由菲数协助孵化的 AI 数学人机协作平台 Infinity Archive 进行了项目介绍，展示了其在人机协作与形式化数学方面的方向探索。平台为AI辅助数学探索提供交互解决方案，大幅降低形式化数学的门槛推动数学研究从传统、封闭的专家模式，向开放、协同、可验证的范式转型。

训练营还组织青年科学家走进上海机器人产业技术研究院，了解机器人前沿技术、关键共性技术与产业化应用，让数学与人工智能在真实工程场景中“落地可感”。

“训练营包含竞赛、研讨和企业参访，为我们开阔了视野，更提供了宝贵的专家交流机会。”来自牛津大学的博士生 George Nigmatulin 说。

据介绍，AI时代，数学不再只停留在纸面证明，而是在机器人技术、可持续能源、生命健康等领域展现巨大创新潜力。青年科学家将在这一过程中承担关键角色。2025菲数AI数学训练营，让全球AI青年与数学青年在上海相遇，更是上海面向未来、面向全球、面向青年科技力量的探索。

原标题：《全球青年科学家齐聚上海，共答AI与数学之问》

来源：作者：解放日报 周楠