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

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

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

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

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