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

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

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

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

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

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

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

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

審核編輯 黃宇