DoNews·· 2 小時前精選AI 評分76
上海人工智能實驗室稱許地生團隊以書生-S2人機協同完成三維 Ghys 猜想證明
中国团队用国产大模型破解三维Ghys猜想 1小时前
AI 導讀
上海人工智能實驗室宣佈，許地生團隊依託書生-S2多模態大模型，透過人機協同完成三維 Ghys 猜想證明。北京大學董彬、劉若川團隊以 SHEAF 框架完成形式化驗證，論文已發佈於 arXiv，程式碼則開源至 GitHub。原文稱，這項工作標誌中國首次以自研大模型攻克世界級數學難題，並驗證「通專融合」新型科研範式。
推薦理由
材料串連模型參與證明、人機協同與SHEAF形式化驗證，並交代論文及程式碼的公開位置，呈現研究流程的不同環節。
正文 · 原文
2026年10月15日，上海人工智能实验室宣布，许地生团队依托书生-S2多模态大模型，通过人机协同完成三维Ghys猜想证明。该猜想由法国数学家Étienne Ghys于1995年提出，是动力系统领域标志性公开问题。北大董彬、刘若川团队用SHEAF框架完成形式化验证。论文已发布于arXiv，代码开源至GitHub。此举标志中国首次以自研大模型攻克世界级数学难题，并验证了‘通专融合’新型科研范式。
免责声明：本文内容由开放的智能模型自动生成，仅供参考。
來源：DoNews · donews.com