本文转自：人民网-上海频道金信达
人民网上海11月26日电（记者马作鹏）近日，2025菲数AI数学训练营 在上海市普陀区海纳小镇数字创新中心正式启动。来自全球顶尖科研机构的近40位硕博研究生、青年科学家与教授齐聚上海，共同开启一场以“AI + 数学”为核心的前沿探索。
本次训练营为期五天（11月21日—25日），是继今年7月菲数中国举办可持续人工智能国际暑期学校、菲数国际数学研讨会，并与普陀区政府联合举办2025世界人工智能大会（WAIC）“人工智能的数学边界与基础重构论坛”之后，上海在“AI+数学”战略方向的又一次重要实践。
金信达
上海持续完善科学智能（AI for Science）的布局，推动数学与人工智能深度交叉融合，打造具有全球影响力的创新策源能力体系。当前，上海正围绕三大前沿方向系统布局：一是数学理论为人工智能提供“公理支撑”；二是推动“AI辅助数学研究”；三是加速数学在智能制造、智能医疗等产业场景中的转化应用。
本次训练营汇聚来自 11个国家和地区的青年研究员、博士后和硕博士生，形成“青年科学家为主体、国际专家为导师、AI + 数学为主线”的科研创新氛围。参训人员涵盖算法理论、控制与优化、机器学习、流体数学、计算建模、可持续智能等多个方向，为携手推动AI+数学跨学科创新贡献青年力量。
训练营首日，备受关注的 AI 数学黑客松 正式发布赛题。比赛围绕全球性议题，以“数学推理 + AI 算法 + 可持续发展”为主线，设置两大赛道。赛道一聚焦“AI与环境建模”，要求参赛者估算森林生物量、碳储量及生态系统服务价值等，为现实环境可持续发展提供参考；赛道二着眼于“AI与数学科研”，要求参赛者利用AI检测科研论文中数学证明中的拼写错误与逻辑缺陷。此次黑客松竞赛由包括菲尔兹奖得主艾菲·杰曼诺夫、图灵奖得主杰克·唐加拉、斯德哥尔摩水奖获得者约翰·谢里等多位国际顶尖科学家共同组成的评审委员会进行评审。
这是一次以青年科研力量为核心驱动的攻关实践，每个问题都要求参赛团队兼具数学思维深度与AI模型创新性，实现跨界突破。
11月23日至24日，菲数中国与上海纽约大学联合举办 “优化、控制与人工智能”国际研讨会，聚焦“数学如何为人工智能的稳健性、可解释性与可靠性提供严谨的分析框架”以及“人工智能如何作为强大的计算与探索工具，反哺数学理论与方法的原始创新”两大核心议题，并由训练营的青年教授与博士后担任主要报告者。
研讨会期间，由菲数协助孵化的 AI 数学人机协作平台 Infinity Archive 进行了项目介绍，展示了其在人机协作与形式化数学方面的方向探索。平台为AI辅助数学探索提供交互解决方案，大幅降低形式化数学的门槛推动数学研究从传统、封闭的专家模式，向开放、协同、可验证的范式转型。
本次研讨会不仅展现了全球青年科学家在AI+数学领域的创新探索金信达，更通过对话搭建起AI青年与数学青年互学互鉴的国际交流合作平台。
配先查提示：文章来自网络，不代表本站观点。
