來(lái)源:中國(guó)證券報(bào)
本報(bào)記者喬翔
在2025世界人工智能大會(huì)(WAIC2025)現(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)景,而是WAIC2025“人工智能的數(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ā)顯著,這種“AIforMath”的模式正在改寫(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ì)算失誤,還追溯邏輯漏洞源頭。
上??萍即髮W(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)鍵抓手?!?/p>
這一判斷,既立足國(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ù)溆侄疃葘W(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é)融合研究的“策源地”與“示范窗”。
寶寶早教的最佳時(shí)機(jī):0-3歲教育安排指南
0-3歲是寶寶大腦發(fā)育黃金期,學(xué)會(huì)幾個(gè)早教方法,有效開(kāi)發(fā)智力
嬰兒早教不是越早越好!0-3歲各月齡發(fā)展重點(diǎn)全解析
免責(zé)聲明:本文內(nèi)容由開(kāi)放的智能模型自動(dòng)生成,僅供參考。