●　本報(bào)記者　喬翔

在2025世界人工智能大會(huì)（WAIC　2025）現(xiàn)場(chǎng)，一場(chǎng)特殊的“人機(jī)對(duì)決”牽動(dòng)著全球科技界的神經(jīng)——著名數(shù)學(xué)家、菲爾茲獎(jiǎng)首位華人得主丘成桐教授團(tuán)隊(duì)的命題被投射在巨幕上，上海人工智能實(shí)驗(yàn)室、商湯科技、階躍星辰、MiniMax四家機(jī)構(gòu)的基礎(chǔ)大模型同時(shí)開(kāi)動(dòng)“大腦”飛速運(yùn)算。

大屏左側(cè)，人工智能（AI）推理過(guò)程實(shí)時(shí)展示。其中，上海人工智能實(shí)驗(yàn)室的Intern－IMO系統(tǒng)通過(guò)自然語(yǔ)言推理完成幾何構(gòu)型分析與歸納證明；商湯科技“日日新”大模型在證明其中一個(gè)問(wèn)題時(shí)，通過(guò)引入精妙的變量代換，將看似復(fù)雜的恒等式兩端化歸為統(tǒng)一的三角形式。整個(gè)解答邏輯清晰，揭示了問(wèn)題背后的數(shù)學(xué)結(jié)構(gòu)之美……

這并非科幻場(chǎng)景，而是WAIC　2025“人工智能的數(shù)學(xué)邊界與基礎(chǔ)重構(gòu)”高端論壇的現(xiàn)場(chǎng)。當(dāng)萬(wàn)億參數(shù)大模型遭遇數(shù)學(xué)推理的“深水區(qū)”，上海正將這場(chǎng)關(guān)乎AI未來(lái)的“智力基建”競(jìng)賽，轉(zhuǎn)化為驅(qū)動(dòng)產(chǎn)業(yè)變革的硬核引擎。

AI與數(shù)學(xué)成焦點(diǎn)

近年來(lái)，人工智能與數(shù)學(xué)的雙向需求日益迫切。一方面，當(dāng)大模型參數(shù)突破萬(wàn)億，傳統(tǒng)基于經(jīng)驗(yàn)的調(diào)參方法陷入瓶頸，模型的泛化能力、安全性、能耗控制等核心問(wèn)題，亟待數(shù)學(xué)理論的系統(tǒng)性支撐；另一方面，AI對(duì)數(shù)學(xué)的反哺效應(yīng)愈發(fā)顯著，這種“AI　for　Math”的模式正在改寫(xiě)數(shù)學(xué)研究范式。

在此背景下，“人工智能的數(shù)學(xué)邊界與基礎(chǔ)重構(gòu)論壇”全方位展現(xiàn)了AI與數(shù)學(xué)交叉領(lǐng)域的前沿動(dòng)態(tài)與深度碰撞，兩位菲爾茲獎(jiǎng)得主的深度參與成為本場(chǎng)論壇的最大亮點(diǎn)。

其中，丘成桐教授為論壇特別選題、命題，題目由其團(tuán)隊(duì)聯(lián)合歐洲、日本數(shù)學(xué)家精心遴選，聚焦幾何與代數(shù)的交叉難題，直接考驗(yàn)AI的深層推理能力，由機(jī)器模型現(xiàn)場(chǎng)作答，屏幕實(shí)時(shí)展示AI推理過(guò)程。這種“人類出題—機(jī)器作答”的模式，既是對(duì)AI能力的檢驗(yàn)，也是人機(jī)協(xié)同的一次生動(dòng)演示，旨在通過(guò)頂尖數(shù)學(xué)家的“問(wèn)題嗅覺(jué)”，引導(dǎo)AI聚焦真正具有突破性的核心難點(diǎn)，避免技術(shù)算力的無(wú)效消耗。

論壇現(xiàn)場(chǎng)，兩大國(guó)際數(shù)學(xué)實(shí)驗(yàn)室的揭牌儀式意義深遠(yuǎn)。Hitchin–Ngo實(shí)驗(yàn)室（聚焦代數(shù)幾何與數(shù)學(xué)物理）與Fefferman實(shí)驗(yàn)室（深耕流體力學(xué)與納維——斯托克斯方程）落地上海普陀區(qū)，不僅是對(duì)上海科研實(shí)力的認(rèn)可，更標(biāo)志著全球數(shù)學(xué)與AI融合研究的重心向中國(guó)傾斜。

頂尖學(xué)者思維碰撞

在學(xué)術(shù)研討環(huán)節(jié)，頂尖學(xué)者的洞見(jiàn)為上海的創(chuàng)新路徑提供了理論支撐。

中國(guó)科學(xué)院院士徐宗本的演講直指AI架構(gòu)設(shè)計(jì)的核心矛盾——智能問(wèn)題本質(zhì)是無(wú)限維的，而技術(shù)實(shí)現(xiàn)卻受限于有限參數(shù)，其提出通過(guò)算子簇公共不動(dòng)點(diǎn)理論設(shè)計(jì)深度架構(gòu)，并以實(shí)驗(yàn)證明大模型存在“冗余閾值”，為模型優(yōu)化提供數(shù)學(xué)依據(jù)。

在現(xiàn)場(chǎng)，數(shù)學(xué)家與大模型團(tuán)隊(duì)也展開(kāi)了深度交鋒。西班牙國(guó)家研究委員會(huì)研究員鄭凡與上海人工智能實(shí)驗(yàn)室專家合作，展示AI對(duì)復(fù)雜幾何題的分步拆解，模型通過(guò)分類討論排除不可能情況，最終鎖定陽(yáng)光線數(shù)量規(guī)律；復(fù)旦大學(xué)印佳教授與商湯團(tuán)隊(duì)則呈現(xiàn)AI對(duì)學(xué)生錯(cuò)誤解答的批改過(guò)程，模型不僅指出角度計(jì)算失誤，還追溯邏輯漏洞源頭。

上海科技大學(xué)蔡明亮教授點(diǎn)評(píng)稱，大模型在概率遞推問(wèn)題中展現(xiàn)的邏輯鏈完整性令人驚訝，但在需要“反直覺(jué)”構(gòu)造的場(chǎng)景仍顯不足，而這正是人類數(shù)學(xué)家的核心價(jià)值所在。

完善融合發(fā)展生態(tài)

AI與數(shù)學(xué)這對(duì)“雙引擎”正加速耦合，而上海，正以核心樞紐之姿，引領(lǐng)這場(chǎng)變革的全球進(jìn)程。

上海市委常委、副市長(zhǎng)陳杰指出：“上海正加快建設(shè)具有世界影響力的科技創(chuàng)新中心，數(shù)學(xué)與AI的深度融合，是強(qiáng)化科創(chuàng)策源功能的關(guān)鍵抓手。”

這一判斷，既立足國(guó)家戰(zhàn)略，又緊扣城市定位，為上海在全球智能革命中錨定了坐標(biāo)。

上海的科創(chuàng)基因與學(xué)術(shù)積淀為AI與數(shù)學(xué)交叉研究提供了成長(zhǎng)沃土。在AI領(lǐng)域，上海擁有全國(guó)領(lǐng)先的算力基礎(chǔ)設(shè)施——華為384超節(jié)點(diǎn)真機(jī)等尖端設(shè)備性能領(lǐng)先，為大規(guī)模數(shù)學(xué)建模與AI訓(xùn)練提供強(qiáng)大支撐；張江人工智能島聚集了數(shù)百家中外AI企業(yè)，形成從算法研發(fā)到產(chǎn)業(yè)應(yīng)用的完整生態(tài)。在數(shù)學(xué)領(lǐng)域，復(fù)旦大學(xué)、上海交通大學(xué)等高校的數(shù)學(xué)學(xué)科排名長(zhǎng)期位居全國(guó)前列，擁有多個(gè)國(guó)家重點(diǎn)實(shí)驗(yàn)室，在微分幾何、組合數(shù)學(xué)等方向的研究實(shí)力雄厚，這種“AI產(chǎn)業(yè)集群＋頂尖數(shù)學(xué)學(xué)科”的雙重優(yōu)勢(shì)，使上海成為探索二者融合的理想試驗(yàn)田。

當(dāng)前，上海正逐步通過(guò)四大舉措完善“AI＋數(shù)學(xué)”融合發(fā)展生態(tài)。一是打造人才樞紐，推動(dòng)復(fù)旦大學(xué)、上海交大等高校開(kāi)設(shè)“AI＋數(shù)學(xué)”交叉學(xué)科，培養(yǎng)既通代數(shù)拓?fù)溆侄�深度學(xué)習(xí)的復(fù)合型人才；二是建設(shè)開(kāi)放平臺(tái)，以上海數(shù)學(xué)中心為依托，建立“數(shù)學(xué)智能創(chuàng)新平臺(tái)”，整合相關(guān)資源向國(guó)內(nèi)外研究者開(kāi)放；三是完善政策支撐，設(shè)立“數(shù)學(xué)智能創(chuàng)新基金”，支持科研人員開(kāi)展前沿探索；四是推動(dòng)場(chǎng)景落地，在國(guó)家電網(wǎng)智能巡檢、無(wú)人機(jī)導(dǎo)航等典型場(chǎng)景中，推廣“數(shù)學(xué)建模＋AI優(yōu)化”的解決方案。

通過(guò)這些舉措，上海正將學(xué)術(shù)思想碰撞轉(zhuǎn)化為持久動(dòng)能，努力成為全球AI與數(shù)學(xué)融合研究的“策源地”與“示范窗”。