上海市委常委、副市長陳杰在致辭中指出，要以數學的基礎創新驅動人工智能（AI）技術迭代，賦能產業升級，面向全球征集“AI+數學”綜合性解決方案，加快構建一流創新生態。
普陀區委書記胡廣杰表示，將主動服務沿滬寧產業創新帶建設，推動“AI+數學”協同攻關，把普陀打造成為沿滬寧產業創新帶的引力場、智匯源、孵化器和服務中心。
兩位菲爾茲獎得主的深度參與是論壇最大亮點。普林斯頓大學教授查爾斯·費夫曼在視頻致辭中回溯了從早期機械驗證到AI賦能協同演進的數學與計算的發展歷程。而菲爾茲獎首位華人得主丘成桐團隊聯合歐洲、日本數學家精心遴選，為論壇特別命題，直接考驗AI的深層推理能力。
考題由機器模型現場作答，并在屏幕實時展示推理過程。其中，上海人工智能實驗室的Intern-IMO系統成功破解2025年國際數學奧林匹克競賽首題，通過自然語言推理完成幾何構型分析與歸納證明，獲IMO官方打分員認可；階躍星辰模型則在不等式證明中展現“工具調用”能力，當自身代數計算出錯時，主動借助外部工具驗證并修正思路，最終完成形式化驗證；商湯“日日新”大模型更通過圖文混合輸入，分別以坐標計算與輔助線構造兩種方法求解平面幾何題，展現多路徑推理能力。
論壇現場。圖片由主辦方提供
圓桌論壇環節，西班牙國家研究委員會研究員鄭凡與上海人工智能實驗室專家合作，展示AI對復雜幾何題的分步拆解過程；復旦大學教授印佳與商湯團隊則呈現AI對學生錯誤解答的批改過程，模型不僅指出角度計算失誤，還追溯邏輯漏洞源頭。上?？萍即髮W教授蔡明亮點評稱，大模型在概率遞推問題中展現的邏輯鏈完整性令人驚訝，但在需要“反直覺”構造的場景仍顯不足，而這正是人類數學家的核心價值所在。
在中外學生“結對”儀式環節，10位來自牛津大學、劍橋大學、多倫多大學、慕尼黑工業大學等國際高校以及上海交通大學、復旦大學、同濟大學等沿滬寧高校的數學與AI專業學生結對。后續，這些學生將圍繞“AI輔助形式化證明”“數論問題的機器學習探索”等課題開展聯合研究。
隨后的主旨演講環節，中國科學院院士徐宗本直指AI架構設計的核心矛盾——智能問題本質是無限維的，而技術實現卻受限于有限參數，提出通過算子簇公共不動點理論設計深度架構，并以實驗證明大模型存在“冗余閾值”，為模型優化提供數學依據。瑞士蘇黎世聯邦理工學院教授托爾斯滕·霍夫勒則聚焦算力與推理進化，分析大語言模型從“下一詞預測”到“思維樹推理”的躍遷，提出通過量化壓縮與稀疏激活提升效率，其團隊研發的網絡拓撲策略使AI算力利用率提升10-15倍。
Hitchin–Ngo實驗室與Fefferman實驗室同期揭牌成立，前者將攻關鏡像對稱等前沿問題，探索幾何與物理的深層聯系，后者則致力于用AI破解流體力學奇異性難題，助力天氣預報與湍流模擬。未來將采用“雙基地”模式，聯動歐洲與上海的算力和數據資源。
本文鏈接：人工智能的數學邊界與基礎重構論壇在滬舉辦http://www.sq15.cn/show-11-23999-0.html
聲明：本網站為非營利性網站，本網頁內容由互聯網博主自發貢獻，不代表本站觀點，本站不承擔任何法律責任。天上不會到餡餅，請大家謹防詐騙！若有侵權等問題請及時與本網聯系，我們將在第一時間刪除處理。
上一篇： 直面電力行業關鍵問題，這個中試基地發布
下一篇： 人工智能賦能醫藥健康新范式論壇在滬舉辦