10月15日，上海人工智慧實驗室發文稱，困擾數學界30餘年的世界級難題——三維Ghys猜想近日迎來了破解。

上海人工智慧實驗室（上海AI實驗室）訪問學者、大灣區大學教授許地生團隊依託書生科學多模態大模型S2（書生-S2），基於“通專融合”技術路徑，通過人機協同完成了三維Ghys猜想證明。北京大學董彬教授、劉若川院士團隊利用其開發的SHEAF框架對本次證明完成形式化驗證，驗證了這一工作的正確性。這標誌著中國科學家首次用中國大模型攻克世界級數學難題。相關論文已在預印本平臺（arXiv）發佈，其形式化代碼也在Github平臺公開。

據介紹，Ghys猜想由法國數學家艾蒂安·吉斯（Étienne Ghys）於1995年提出，猜測每一個緊致複流形上的全純Anosov系統，都雙全純共軛於某個複infra-冪零流形上的全純仿射自同構。該問題兼具理論難度與學科標誌性價值，被動力系統領域數學專家公認為該領域重要的長期公開問題之一，是檢驗數學推理能力的一塊試金石。

據瞭解，2025年，為了助力提升國產大模型數學推理能力，中國數學會中學數學競賽委員會在CMO首設AI測試，共邀請三家國產大模型參與，與人類選手在相同時長內完成答題，並由官方組織以相同標準進行閱卷評分。其中，書生-S1取得102分，不僅在參評大模型中排名第一，更遠超78分的金牌線。

本項研究的意義還在於驗證了一種新的科研範式。傳統數學研究依賴個體天才的漫長摸索，而本次攻關將專家直覺系統性接入機器求解回路，形成“系統探索—專家判斷—成果積累—回饋修正”的閉環。這一範式可複製推廣至更多“搜索空間巨大而專家稀缺”的基礎研究領域，實現更多“從0到1”的原始創新突破。

接下來，依託本次研究跑通的完整能力閉環，團隊將進一步封裝為書生·端硯科學發現平臺可複用的數學驗證模組，供後續科學問題研究直接調用。同時，以三維Ghys猜想的突破作為起點，上海AI實驗室將沉澱的推理能力擴展應用於數學結構同源的其他學科；取得新突破後，再將新推理能力封裝回端硯平臺複用，與更多學科結合尋求下一輪突破，形成“突破—封裝—複用—再突破”的自進化飛輪。

來源：中國鳳凰網科技