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

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

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

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

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