新華網上海1月10日電(記者 陳瀟雨)近日,第十屆世界華人數學家大會在上海舉辦特別夜話活動。在菲爾茲獎得主、中國科學院院士丘成桐主持下,國內外青年數學家與頂尖AI研究團隊圍繞如何以數學的嚴謹邏輯糾正人工智能普遍存在的“幻覺”問題展開深度對話。活動現場,大會面向全球發布“人類知識邊界:全球數學徵解”計劃,旨在推動數學與AI協同進化,提升智能系統可靠性與推理能力。
丘成桐在致辭中回顧了計算機科學史上的關鍵轉折點——20世紀60年代,快速傅裏葉變換(FFT)的提出大幅下降了計算複雜度,解決了信號處理領域的算力瓶頸。他指出,當前人工智能過度依賴大規模算力和數據,同樣亟需一場基於數學根本邏輯的範式變革。
“AI需要的不是更多顯卡,而是屬於這個時代的‘FFT’。”丘成桐強調,數學所提供的嚴謹結構與推演體系,有望為AI建立起可解釋、可驗證的思維框架,從而減少其輸出中的不確定性與錯誤。
“人類知識邊界:全球數學徵解”計劃,由上海市人工智能行業協會攜手上海數學與交叉學科研究院發起。計劃旨在通過發布分層、開放的數學問題集,吸引全球科研人員、高校師生及AI團隊參與解題,共同探索數學邏輯與機器智能結合的創新路徑。
該計劃圍繞不同能力階段的研究者與AI系統,設置三個漸進的挑戰層級:初探,面向本科生的邏輯迷宮;突破,面向碩博的結構洞察;拓界,面向全人類的終極猜想。
此外,本次活動設有實戰推演環節,國內四支AI團隊面對數學家提出的複雜數學問題,展現了不同程度的邏輯能力突破。
其中,上海AI實驗室的“書生”模型,在處理一項關於矩陣遞歸的高難度數學題時,像人類一樣進行了長達數小時的深度推理後才作答。據介紹,“書生”不久前還在2026年中國數學奧林匹克冬令營中表現優異,解題思路被專家認為具備創新性,“解法在人類學生中尚未見過”。

