杰出的青年數(shù)學(xué)與頂AI團(tuán)隊(duì)會(huì)碰撞出什么火花？1月6日晚，十屆世界華人數(shù)學(xué)大會(huì)舉行特別夜話，數(shù)學(xué)和AI團(tuán)隊(duì)共同探討如何用數(shù)學(xué)的“冷”邏輯拯救AI的“熱”幻覺?；顒?dòng)現(xiàn)場(chǎng)，世界華人數(shù)學(xué)大會(huì)向全球發(fā)布“人類知識(shí)邊界：全球數(shù)學(xué)征解”。其中，“初探”是面向本科生的邏輯迷宮；“突破”是面向碩博的結(jié)構(gòu)洞察；“拓界”則是面向全人類的終猜想。

“五十年前，計(jì)算機(jī)工業(yè)曾面臨過一次生死考驗(yàn)?！狈茽柶潽?jiǎng)得主丘成桐講起了一段鮮為人知的往事：上世紀(jì)60年代，計(jì)算機(jī)處理信號(hào)的復(fù)雜度被卡在了N2物理的墻上。隨著數(shù)據(jù)量增加，計(jì)算時(shí)間呈指數(shù)爆炸，那是硬件無法逾越的鴻溝?！爱?dāng)時(shí)大覺得無路走了，直到1965年，庫利和圖基重新發(fā)現(xiàn)了快速傅里葉變換（FFT）?！鼻鸪赏┗貞浀?，數(shù)學(xué)僅僅通過利用復(fù)數(shù)根的對(duì)稱，就將復(fù)雜度奇跡般地從N2降維到了NlogN?！斑@一下子就改變了整個(gè)工業(yè)界，沒有它，就沒有今天的互聯(lián)網(wǎng)?！?/p>

今天，依靠堆砌顯卡和能源的AI，正處于它的“N2時(shí)代”。丘成桐說，AI需要的不是更快的芯片，而是當(dāng)代的“FFT”，一種源自數(shù)學(xué)底層邏輯的范式革命。

此次座談?dòng)缮虾Ｊ薪?jīng)濟(jì)和信息化委員會(huì)指，上海市人工智能行業(yè)協(xié)會(huì)攜手上海數(shù)學(xué)與交叉學(xué)科研究院主辦。

尼克斯（14-8）：唐斯27分16籃板、阿奴諾比25分6籃板4搶斷、布倫森24分5助攻、布里奇斯19分3籃板7助攻、哈特18分10籃板6助攻、麥克布萊德10分6助攻

這場(chǎng)座談會(huì)可說是一場(chǎng)真刀真槍的“圖靈測(cè)試”。面對(duì)數(shù)學(xué)們拋出的難題，國內(nèi)四大模型戰(zhàn)隊(duì)——上海AI實(shí)驗(yàn)室、阿里通義、商湯、字節(jié)跳動(dòng)都展示了驚人的進(jìn)化。

上海人工智能實(shí)驗(yàn)室的張文蔚團(tuán)隊(duì)讓AI學(xué)會(huì)了“長(zhǎng)考”。他們展示的“書生”模型在剛剛結(jié)束的中國數(shù)學(xué)奧林匹克冬令營中，與人類頂選手同臺(tái)競(jìng)技并拿下102分，遠(yuǎn)金線的78分。閱卷評(píng)價(jià)模型的回答“是一個(gè)新的解法，巧妙的調(diào)整法，預(yù)應(yīng)力鋼絞線結(jié)合了幾種觀察到的東西。在學(xué)生的解法中沒有見過”。

阿里通義實(shí)驗(yàn)室劉大一恒演示了更層的思維進(jìn)化。Qwen3-Max模型在解決一道關(guān)于“有限阿貝爾群自同構(gòu)”的抽象代數(shù)難題時(shí)，起初順著概率慣給出了一個(gè)。但在中間某個(gè)節(jié)點(diǎn)，屏幕上的光標(biāo)突然停住了?！癓et me verify（讓我驗(yàn)證一下）”，模型輸出了這樣一行字。它“意識(shí)到”了自己的邏輯風(fēng)險(xiǎn)，主動(dòng)翻了之前的結(jié)論，調(diào)用了另一種方法進(jìn)行交叉驗(yàn)證。經(jīng)過預(yù)訓(xùn)練和強(qiáng)化學(xué)習(xí)的大規(guī)模算力提升后，在沒有對(duì)數(shù)學(xué)能力做針對(duì)設(shè)計(jì)前提下，模型已具備了強(qiáng)大的數(shù)學(xué)解題和思考泛化能力。

當(dāng)晚令人思的時(shí)刻，并非算力的比拼，而是AI展現(xiàn)出的“數(shù)學(xué)直覺”。

商湯科技肖鵬帶來的“日日新”模型，就展示了某種數(shù)學(xué)的直覺。在計(jì)算一個(gè)復(fù)雜的廣義積分時(shí)，模型沒有陷入暴力的數(shù)值計(jì)算，而是敏銳地捕捉到了函數(shù)的對(duì)稱，利用倒數(shù)代換瞬間將難題化歸為零。這種“避繁就簡(jiǎn)”的能力，被在場(chǎng)數(shù)學(xué)稱為“機(jī)器的審美”，它不再只是計(jì)算，它開始懂得“巧妙”。

而字節(jié)跳動(dòng)Seed團(tuán)隊(duì)的袁正，則介紹了Seed-Prover模型采用形式化數(shù)學(xué)的路徑，既保障終答案正確，也確保每一步理嚴(yán)格，沒有幻覺；借助嚴(yán)格的形式化監(jiān)督信號(hào)，模型可開展持續(xù)的強(qiáng)化學(xué)習(xí)；通過測(cè)試時(shí)擴(kuò)展的技術(shù)，模型可以提自己的思考度、寬度，解決更困難的數(shù)學(xué)問題。

相關(guān)詞條：罐體保溫 塑料擠出設(shè)備 鋼絞線天門預(yù)應(yīng)力鋼絞線價(jià)格