上海人工智能實驗室稱許地生團隊以書生-S2人機協同完成三維 Ghys 猜想證明

2026年10月15日，上海人工智能實驗室宣佈，許地生團隊依託書生-S2多模態大模型，通過人機協同完成三維Ghys猜想證明。該猜想由法國數學家Étienne Ghys於1995年提出，是動力系統領域標誌性公開問題。北大董彬、劉若川團隊用SHEAF框架完成形式化驗證。論文已發佈於arXiv，代碼開源至GitHub。此舉標誌中國首次以自研大模型攻克世界級數學難題，並驗證了‘通專融合’新型科研範式。

免責聲明：本文內容由開放的智能模型自動生成，僅供參考。