書生-S2協助完成三維 Ghys 猜想證明
先了解這件事
10月15日10時35分的報道稱，上海人工智能實驗室訪問學者、大灣區大學教授許地生團隊依託書生科學多模態大模型S2（書生-S2），以人機協同方式完成三維Ghys猜想證明；北京大學董彬、劉若川團隊使用SHEAF框架進行形式化驗證，並確認證明正確。該報道稱此事標誌著中國科學家首次以中國大模型攻克世界級數學難題。11時23分的報道補充，論文已發布於arXiv，形式化程式碼已在GitHub公開。11時40分的報道稱，上海人工智能實驗室於當日宣佈此事，並指出該猜想由法國數學家Étienne Ghys於1995年提出；程式碼已在GitHub開源。
AI 根據報道生成 · 12 分鐘前更新
報道時間線
沿着報道，瞭解事件的不同側面。
- DoNews精選上海人工智能實驗室稱許地生團隊依託書生-S2人機協同完成三維 Ghys 猜想證明
上海人工智能實驗室於2026年10月15日宣佈，許地生團隊依託書生-S2多模態大模型，以人機協同方式完成三維 Ghys 猜想證明。該猜想由法國數學家 Étienne Ghys 於1995年提出；北大董彬、劉若川團隊使用 SHEAF 框架完成形式化驗證。論文已發佈於 arXiv，程式碼已在 GitHub 開源。
- IT之家精選上海人工智能實驗室團隊以書生科學多模態大模型 S2 完成三維 Ghys 猜想證明
上海人工智能實驗室訪問學者兼大灣區大學教授許地生團隊，依託書生科學多模態大模型 S2，以人機協同方式完成三維 Ghys 猜想的證明。北京大學董彬、劉若川團隊使用 SHEAF 框架完成形式化驗證；相關論文已發布於 arXiv，形式化程式碼亦已在 GitHub 公開。
- 第一財經精選中國科學家首次用中國大模型攻克世界級數學難題
上海人工智能實驗室訪問學者、大灣區大學教授許地生團隊依託書生科學多模態大模型S2（書生-S2），透過人機協同完成三維Ghys猜想證明。北京大學董彬教授、劉若川院士團隊使用其開發的SHEAF框架完成形式化驗證，並確認證明正確。這標誌著中國科學家首次用中國大模型攻克世界級數學難題。
本事件熱度走勢
還沒有足夠的連續觀測數據，暫不繪製趨勢。