上海人工智能實驗室團隊以書生科學多模態大模型 S2 完成三維 Ghys 猜想證明

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

上海人工智能實驗室訪問學者、大灣區大學教授許地生團隊依託書生科學多模態大模型 S2（書生-S2），基於“通專融合”技術路徑，通過人機協同完成了三維 Ghys 猜想證明。

北京大學董彬教授、劉若川院士團隊利用其開發的 SHEAF 框架對本次證明完成形式化驗證，驗證了這一工作的正確性。這標誌着中國科學家首次用中國大模型攻克世界級數學難題。

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

相關論文已在預印本平台（arXiv）發佈，其形式化代碼也在 Github 平台公開。IT之家附鏈接如下：

https://github.com/frenzymath/HolomorphicAnosov

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

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

廣告聲明：文內含有的對外跳轉鏈接（包括不限於超鏈接、二維碼、口令等形式），用於傳遞更多信息，節省甄選時間，結果僅供參考，IT之家包含外鏈的文章均包含本聲明。