中國科學家首次用中國大模型攻克世界級數學難題

據上海人工智能實驗室消息，近日，困擾數學界30餘年的世界級難題——三維Ghys猜想迎來了破解。上海人工智能實驗室（上海AI實驗室）訪問學者、大灣區大學教授許地生團隊依託書生科學多模態大模型S2（書生-S2），基於“通專融合”技術路徑，通過人機協同完成了三維Ghys猜想證明。北京大學董彬教授、劉若川院士團隊利用其開發的SHEAF框架對本次證明完成形式化驗證，驗證了這一工作的正確性。這標誌着中國科學家首次用中國大模型攻克世界級數學難題。

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