1月6日，在“人工智能與數(shù)學夜話”活動中，上海市人工智能行業(yè)協(xié)會與上海數(shù)學與交叉學科研究院共同發(fā)布“全球數(shù)學征解”，以三類不同難度的數(shù)學題目征集全球數(shù)學家及AI企業(yè)解答；同時宣布打造數(shù)學家AI國際合作平臺，將持續(xù)發(fā)布數(shù)學題目和數(shù)學猜想征解，推動人工智能與數(shù)學持續(xù)融合。
上海市人工智能行業(yè)協(xié)會副秘書長沈濤介紹，本次發(fā)布的全球數(shù)學征解的題目包括三個難度層次，即初探、突破和拓界。其中，初探是面向本科生的邏輯迷宮，突破是面向碩博的結(jié)構(gòu)洞察，拓界則是面向全人類的終極猜想。
最受關注的“拓界”數(shù)學難題包括兩部分，第一部分是三道拓撲學猜想題，第二部分則是圍繞“卡拉比-丘流形”提出AI輔助挑戰(zhàn)，每道難題描述里都寫明可由AI做的工作。
據(jù)現(xiàn)場專家介紹，“卡拉比-丘流形”源于卡拉比1957年的猜想與丘成桐1977年的證明，因此以兩位數(shù)學家的姓氏聯(lián)合命名。
著名數(shù)學家、上海數(shù)學與交叉學科研究院理事長丘成桐現(xiàn)場表示，數(shù)學和AI是分不開的，現(xiàn)在AI參數(shù)已到萬億級別，一定有數(shù)學辦法能簡化算法。AI對數(shù)學也很重要，可以參與解決很多重要數(shù)學難題。讓人腦和AI合作發(fā)現(xiàn)和解決重要數(shù)學問題，目前外國還做不到這一步，希望人工智能專家積極參與，更希望中國人工智能行業(yè)先行一步。
2025年7月世界人工智能大會期間，包括丘成桐教授在內(nèi)的多位數(shù)學專家發(fā)出“數(shù)學之問”，面向AI給出多道數(shù)學難題。1月6日的夜話現(xiàn)場，四個大模型團隊分別對上述題目做出解答。
上海人工智能實驗室的張文蔚團隊展示了AI的長時間思考能力，在處理一道奧賽數(shù)學題時，“書生”大模型進行了長達數(shù)小時的深度推理，提出讓評委耳目一新的解題方法。
阿里通義實驗室劉大一恒和卓越團隊演示了更深層的思維進化，當大模型“意識到”了原有回答的邏輯問題后，主動推翻之前的結(jié)論，調(diào)用了另一種方法進行交叉驗證，這顯示大模型已具備了強大的數(shù)學解題和思考泛化能力。
商湯科技肖鵬帶來的“日日新”模型，展示了大模型的某種數(shù)學直覺，即面對問題時沒有陷入暴力的數(shù)值計算，而是巧妙地將難題化歸為零，這被在場數(shù)學家稱為“機器的審美”。
字節(jié)跳動Seed團隊的袁正，則介紹了Seed-Prover模型采用形式化數(shù)學的路徑，既保障最終答案正確，也確保每一步推理嚴格，避免幻覺；通過測試時擴展的技術(shù)，大模型可以提高思考深度和寬度，有望解決更困難的數(shù)學問題。
上海市人工智能行業(yè)協(xié)會秘書長鐘俊浩向《經(jīng)濟參考報》記者表示，人工智能的基礎是數(shù)學。有了基礎理論的支撐，行業(yè)才能更好定義邊界和看清未來，才有望解決人工智能面臨的不可解釋性和幻覺問題。AI也可以賦能數(shù)學家，AI解決數(shù)學問題的能力也在持續(xù)增強。
