大模型也能擁有某種數(shù)學(xué)家“直覺”！

在近日舉辦的第十屆世界華人數(shù)學(xué)家大會“人工智能與數(shù)學(xué)”夜話活動上，由菲爾茲獎得主丘成桐院士引領(lǐng)，集結(jié)國內(nèi)四大頂尖模型團隊，上海人工智能實驗室、商湯科技、阿里通義、字節(jié)跳動，讓數(shù)學(xué)與AI同臺碰撞，開展了一場真刀真槍的“圖靈測試”。

現(xiàn)場，面對數(shù)學(xué)家拋出的難題，商湯科技“日日新”大模型在解答復(fù)分析計算積分、微分幾何證明等問題中，展示了驚人的進化力。

在計算一個復(fù)雜的廣義積分時，模型沒有陷入暴力的數(shù)值計算，而是敏銳地捕捉到了函數(shù)的對稱性，利用倒數(shù)代換（u=1/t）瞬間將難題化歸為零。整個解題過程中，日日新大模型展現(xiàn)出了“避繁就簡”、直擊問題本質(zhì)的“巧妙”和“靈性”，被在場數(shù)學(xué)家譽為“機器的審美”。并且，這是模型在沒有進行專門優(yōu)化的情況下完成的。

這是否意味著AI已超越了單純的計算，而初步具備了類似人類的直覺思維呢？在與頂尖數(shù)學(xué)家們深度交流過程中，商湯團隊表示，通過引入有可靠過程驗證的強化學(xué)習(xí)機制，當前的大模型展現(xiàn)了顯著的數(shù)學(xué)能力提升。

探索解決復(fù)雜數(shù)學(xué)難題，意味著大模型已初步形成了可用于嚴肅科學(xué)探究的結(jié)構(gòu)化推理與洞察潛力，從“強大的工具”，向能夠理解問題、發(fā)現(xiàn)巧思的“科研助手”演進，有望在更廣泛的前沿科研領(lǐng)域加速創(chuàng)新突破。

未來，商湯將持續(xù)深耕AI與基礎(chǔ)科學(xué)的交叉融合，以技術(shù)創(chuàng)新推動人工智能從“隨機”走向“邏輯”，從“概率”走向“確定”，為人類知識邊界拓展注入智能動力。正如丘成桐院士所言，AI需要的不是更快的芯片，而是當代的“FFT（快速傅里葉變換）”，一種源自數(shù)學(xué)底層邏輯的范式革命。

世界華人數(shù)學(xué)家大會由丘成桐于1998年發(fā)起設(shè)立，現(xiàn)已成為國際華人數(shù)學(xué)界規(guī)模最大、最具影響力的頂級學(xué)術(shù)盛會。本次大會吸引了來自全球多個國家和地區(qū)的數(shù)千名數(shù)學(xué)家、科研人員和高校師生參與，構(gòu)建開放多元的國際學(xué)術(shù)交流平臺。

審核編輯 黃宇