中國在人工智能與基礎科學交叉領域取得重大突破。根據上海人工智能實驗室消息，困擾全球數學界長達30餘年的世界級數學難題——三維 Ghys 猜想近日被正式破解。這也是中國科學家首次利用國產大模型成功攻克世界級數學難題。

本次研究由上海人工智能實驗室訪問學者、大灣區大學教授許地生團隊領銜。研究團隊依託“書生科學多模態大模型 S2”（書生-S2），基於“通專融合”的技術路徑，通過人機協同的方式最終完成了三維 Ghys 猜想的證明。與此同時，北京大學董彬教授、劉若川院士團隊利用其自主開發的 SHEAF 框架，對本次證明過程完成了形式化驗證，從而確鑿無誤地證實了該項研究成果的正確性。

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

此次中國科學家團隊通過人機協同成功攻克該項難題，不僅展現了國產大模型在應對尖端科學計算與複雜邏輯推理方面的深厚潛力，也爲未來人工智能深度賦能基礎科學研究開闢了全新的實踐路徑。