記者 周楠
1951年，著名純數(shù)學(xué)家馮·諾依曼在普林斯頓發(fā)明了第一臺(tái)計(jì)算機(jī)，即“馮·諾依曼機(jī)”。數(shù)十年后，當(dāng)人們開始談?wù)撊斯ぶ悄?，則必須認(rèn)識(shí)到，數(shù)學(xué)正是那顆孕育明珠的基石。
昨天，由普陀區(qū)人民政府和菲數(shù)中國共同主辦的2025 WAIC人工智能的數(shù)學(xué)邊界與基礎(chǔ)重構(gòu)論壇舉行。
這場(chǎng)論壇沒有炫酷的機(jī)器人展示和產(chǎn)品發(fā)布，屏幕上聚焦最多的是人工智能的底層邏輯：數(shù)學(xué)公式與大模型推演過程。核心議題聚焦一個(gè)看似抽象卻關(guān)鍵的問題：數(shù)學(xué)與人工智能，究竟誰塑造誰？
基礎(chǔ)創(chuàng)新是突圍關(guān)鍵
在當(dāng)前人工智能技術(shù)不斷躍升的背景下，基礎(chǔ)數(shù)學(xué)研究正被重新激活，也成為引領(lǐng)人工智能前沿的關(guān)鍵支點(diǎn)。
“這個(gè)看似‘抽象’的數(shù)學(xué)論壇，恰恰抓住了關(guān)鍵問題——發(fā)展人工智能必須從基礎(chǔ)研究、原始創(chuàng)新抓起，這才是正確之路。”中國科學(xué)院院士徐宗本說。
在他看來，嚴(yán)格講，當(dāng)前中國的人工智能發(fā)展還處于工程化階段，中國要在國際上占有一席之地，必須把基礎(chǔ)理論搞上去，要有自己的隊(duì)伍和話語權(quán)。與國際頂尖力量相比，我國在專注基礎(chǔ)數(shù)學(xué)與AI交叉研究的頂尖人才規(guī)模、持續(xù)性投入上仍有較大的提升空間。
“人工智能未來的進(jìn)步，將依賴于數(shù)學(xué)未來的發(fā)展。數(shù)學(xué)和人工智能是融為一體的。”菲爾茲數(shù)學(xué)科學(xué)研究院可持續(xù)發(fā)展中心主席路易斯·塞科認(rèn)為，“數(shù)學(xué)擁有數(shù)千年來積累的知識(shí)基礎(chǔ)，世界各地的數(shù)學(xué)家正在努力使這個(gè)基礎(chǔ)更加強(qiáng)大，以便我們能在其上構(gòu)建人工智能的未來發(fā)展。”
西班牙皇家科學(xué)院院士戴維·里奧斯·因蘇亞的觀點(diǎn)，也和他們十分相似：數(shù)學(xué)與人工智能之間的互動(dòng)將會(huì)蓬勃發(fā)展，帶來巨大的協(xié)同效應(yīng)。一方面，數(shù)學(xué)將帶來新的見解，有助于更好地理解人工智能的最新發(fā)展；另一方面，人工智能會(huì)激發(fā)新的數(shù)學(xué)問題，并有助于解決那些更傳統(tǒng)的數(shù)學(xué)問題。
丘成桐設(shè)擂問解全球
論壇中，有一個(gè)獨(dú)特環(huán)節(jié)掀起了高潮。首位華人菲爾茲獎(jiǎng)得主丘成桐教授親自遴選并審核10道數(shù)學(xué)難題，委托團(tuán)隊(duì)發(fā)布，并向全球征集解答。
更引人矚目的是，現(xiàn)場(chǎng)大屏幕同步展示來自上海人工智能實(shí)驗(yàn)室、商湯科技、階躍星辰、MiniMax四家機(jī)構(gòu)的通用大模型對(duì)部分題目的實(shí)時(shí)推理過程。
“這不僅是解題，更是大模型邏輯推理能力的一次壓力測(cè)試。”現(xiàn)場(chǎng)專家認(rèn)為，盡管不同模型表現(xiàn)各異，但這標(biāo)志著大模型與前沿?cái)?shù)學(xué)研究結(jié)合的實(shí)驗(yàn)性探索已然啟動(dòng)。
菲數(shù)中國宣布，將以此次論壇為起點(diǎn)，聯(lián)合全球頂尖科研機(jī)構(gòu)，持續(xù)征集類似丘成桐教授發(fā)布的、有望借力AI突破的未解數(shù)學(xué)難題，并計(jì)劃在2026年世界人工智能大會(huì)上發(fā)布成果。
上海作為中國人工智能發(fā)展的高地與數(shù)學(xué)研究的重鎮(zhèn)，在推動(dòng)AI與數(shù)學(xué)融合發(fā)展上具備獨(dú)特優(yōu)勢(shì)，正通過系統(tǒng)化布局打造全球標(biāo)桿。
眼下，上海正圍繞數(shù)學(xué)與AI融合的基礎(chǔ)理論突破、AI輔助數(shù)學(xué)研究、產(chǎn)業(yè)場(chǎng)景轉(zhuǎn)化三大前沿方向布局。當(dāng)天，兩個(gè)菲爾茲獎(jiǎng)獲得者冠名實(shí)驗(yàn)室落地普陀區(qū)——費(fèi)夫曼實(shí)驗(yàn)室（Fefferman Lab）與希欽-吳實(shí)驗(yàn)室（Hitchin-Ngo Lab）。
市委常委、副市長陳杰出席本次論壇。
