人民網上海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青年與數學青年互學互鑒的國際交流合作平台。

分享讓更多人看到