世界華人數(shù)學(xué)家大會(huì)發(fā)布“人類知識(shí)邊界”全球數(shù)學(xué)征解

中國(guó)教育報(bào)-中國(guó)教育新聞網(wǎng)訊（記者 任朝霞）近日，第十屆世界華人數(shù)學(xué)家大會(huì)（ICCM 2025）特別活動(dòng)——“人工智能與數(shù)學(xué)”夜話舉行，會(huì)上正式發(fā)布了“人類知識(shí)邊界”全球數(shù)學(xué)征解。

征解分為“初探”“突破”“拓界”三個(gè)系列。其中，“初探”是面向本科生的邏輯迷宮，“突破”為面向碩博的結(jié)構(gòu)洞察，“拓界”則是面向全人類的終極猜想，這三層挑戰(zhàn)也對(duì)應(yīng)著上海構(gòu)建“數(shù)學(xué)—模型—產(chǎn)業(yè)”生態(tài)的決心。

活動(dòng)現(xiàn)場(chǎng)，來自復(fù)旦大學(xué)、清華大學(xué)、上海科技大學(xué)、北京雁棲湖應(yīng)用數(shù)學(xué)研究院、上海數(shù)學(xué)與交叉學(xué)科研究院的青年數(shù)學(xué)家與來自上海AI實(shí)驗(yàn)室、阿里通義、商湯、字節(jié)跳動(dòng)的AI科學(xué)家展開對(duì)話，共同探討如何用數(shù)學(xué)的“冷”邏輯拯救AI的“熱”幻覺。

AI科學(xué)家們現(xiàn)場(chǎng)展示了大模型的數(shù)學(xué)解題能力。在剛剛結(jié)束的中國(guó)數(shù)學(xué)奧林匹克冬令營(yíng)中，上海AI實(shí)驗(yàn)室的“書生”模型在與人類選手的同臺(tái)競(jìng)技中拿下102分，遠(yuǎn)超金牌線的78分。閱卷專家評(píng)價(jià)模型的回答“是一個(gè)新的解法，在學(xué)生的解法中沒有見過”。阿里通義實(shí)驗(yàn)室的Qwen3-Max模型在解決一道關(guān)于“有限阿貝爾群自同構(gòu)”的抽象代數(shù)難題時(shí)，主動(dòng)推翻了自己之前的結(jié)論，調(diào)用了另一種方法進(jìn)行交叉驗(yàn)證。商湯科技的“日日新”模型在計(jì)算一個(gè)復(fù)雜的廣義積分時(shí)，展現(xiàn)了“避繁就簡(jiǎn)”的能力，開始懂得“巧妙”。字節(jié)跳動(dòng)的Seed-Prover模型借助嚴(yán)格的形式化監(jiān)督信號(hào)，可開展持續(xù)的強(qiáng)化學(xué)習(xí)。AI科學(xué)家指出，人工智能可以幫助數(shù)學(xué)家承擔(dān)一些復(fù)雜計(jì)算，擔(dān)任“科研助手”，而模型在功能預(yù)測(cè)、結(jié)構(gòu)設(shè)計(jì)、優(yōu)化等方面都需要數(shù)學(xué)的支撐。

世界華人數(shù)學(xué)家大會(huì)主席、上海數(shù)學(xué)與交叉學(xué)科研究院理事長(zhǎng)丘成桐院士在現(xiàn)場(chǎng)致辭時(shí)表示，數(shù)學(xué)家要解決的是一些有相當(dāng)挑戰(zhàn)的、有深度的問題，希望人工智能在這方面發(fā)揮作用，通過人腦與人工智能的合作解決重要的問題。