上海 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 篇报道生成 · 更新于 1 小时前
最新进展据 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 小时内
- 发酵中
- 讨论仍在增加