上海 AI Lab 用書生 S2 大模型破解三維 Ghys 猜想
2026/10/15 — 10/15 12:08·1 個來源（全部）·1 篇報道（全部）·入選 10-15 日報
核心速覽 (Key Takeaways)
- 上海人工智慧實驗室宣佈，許地生團隊依託書生科學多模態大模型 S2，通過人機協同證明了困擾學界 30 餘年的三維 Ghys 猜想，北大團隊用 SHEAF 框架完成形式化驗證。
- 論文已上 arXiv，形式化程式碼在 GitHub 公開。
事件背景與詳細解讀
2026 年 10 月 15 日，上海人工智慧實驗室宣佈，許地生團隊依託書生科學多模態大模型 S2，通過人機協同證明了困擾學界 30 餘年的三維 Ghys 猜想。北京大學董彬教授、劉若川院士團隊利用其開發的 SHEAF 框架對本次證明完成形式化驗證，驗證了這一工作的正確性。
Ghys 猜想由法國數學家艾蒂安 · 吉斯於 1995 年提出，猜測每一個緊緻複流形上的全純 Anosov 系統，都雙全純共軛於某個復 infra-冪零流形上的全純仿射自同構。相關論文已在預印本平臺 arXiv 釋出，其形式化程式碼也在 GitHub 平臺公開。
AI 綜合 1 篇報道生成 · 更新於 58 分鐘前
最新進展據 IT 之家報道，上海人工智慧實驗室宣佈，許地生團隊依託書生科學多模態大模型 S2，通過人機協同證明了困擾學界 30 餘年的三維 Ghys 猜想，北大團隊用 SHEAF 框架完成形式化驗證。論文已上 arXiv，形式化程式碼在 GitHub 公開。這是官方宣稱中國科學家首次用中國大模型攻克世界級數學難題，證明材料可自行核對。
- 熱度指數
- 95
- 全部來源
- 1
- 全部報道
- 1
- 首報
- 2 小時前
這件事的報道 點標題看原文
據 IT 之家報道，上海人工智慧實驗室宣佈，許地生團隊依託書生科學多模態大模型 S2，通過人機協同證明了困擾學界 30 餘年的三維 Ghys 猜想，北大團隊用 SHEAF 框架完成形式化驗證。論文已上 arXiv，形式化程式碼在 GitHub 公開。這是官方宣稱中國科學家首次用中國大模型攻克世界級數學難題，證明材料可自行核對。
大模型攻克 30 年數學難題，能力邊界標誌性事件。
IT之家AI 評分 63
同時在說的其他事
- 熱度指數 735Google 向全球使用者開放 Gemini 4 Argon 模型18 個來源
- 熱度指數 360Meta 釋出 Muse Wonder 與 Muse Wonder Full 兩款新模型11 個來源
- 熱度指數 346Google Play 推出個人 AI 應用執行功能支援自然語言生成9 個來源
- 熱度指數 346Anthropic 研究：小模型或數月內跨裝置自我傳播10 個來源
- 熱度指數 333Character.AI 申請破產保護並擬將部分資產出售給迪士尼10 個來源
熱度怎麼算的？瞭解口徑收起
熱度按 48 小時內有多少個獨立來源在說這件事算：同一個來源發多條只算一次，並按 24 小時半衰期衰減，所以排前面的是很多人在說的事。
本頁彙總公開訂閱源，標題與摘要由模型整理，版權歸原作者所有；重要資訊請回原文核對。如權利人認為相關標題或摘要侵權，請通過頁尾聯絡郵箱提供具體頁面與權利依據，我們核實後會及時刪除或替換。
- 爆
- 討論快速增加
- 新
- 首報 6 小時內
- 發酵中
- 討論仍在增加