上海 AI 实验室书生-S2 助力攻克三维 Ghys 猜想，首次由中国大模型完成世界级数学难题
10 月 15 日消息，上海人工智能实验室访问学者、大湾区大学教授许地生团队，依托书生科学多模态大模型 S2（书生-S2），基于「通专融合」路径、通过人机协同完成三维 Ghys 猜想的证明。北京大学董彬教授、刘若川院士团队利用其开发的 SHEAF 框架完成形式化验证，确认整套证明逻辑完整、无漏洞。这是中国科学家首次用中国大模型攻克世界级数学难题，论文已在 arXiv 发布（编号 2609.37695），形式化代码在 GitHub 开源。
Ghys 猜想由法国数学家 Étienne Ghys 于 1995 年提出，涉及紧致复流形上的全纯 Anosov 系统，是复动力系统领域公认的长期公开问题。攻关中，书生-S2 完成 7 批接续推演，问题图从 15 个节点扩展到 389 个，输出总量上千页推导，并生成数十种全新论证思路；仅针对三维 Ghys 猜想的首轮推理就产出 400 页推导报告。北大团队通过大规模智能体并行运算产出数十万行验证代码。合作起点是书生-S1 在 2025 年全国中学生数学奥林匹克（CMO）AI 测试中取得 102 分，超过 78 分的金牌线，双方于 2026 年初正式启动合作。许地生的学生张洁松博士现于瑞典皇家理工学院从事博士后研究，Ghys 猜想是他自攻读博士以来持续关注的问题。论文上传 arXiv 前，北京大学北京国际数学研究中心教授谢俊逸曾用 GPT-6 尝试挑战此题，未能找到证明方案。
观点
- 更值得关注的是方法论层面：专家直觉被系统性接入机器求解回路，形成「系统探索—专家判断—成果积累—反馈修正」的闭环，可复制到搜索空间大而专家稀缺的基础学科。
- 难点从「能不能推」转向「能不能验」，本次由第三方团队独立完成形式化机器验证并开源代码，结论才具备学术可信度。
- 对国产大模型，这是高阶严谨推理能力的一次标杆性背书，指向数学、材料、生物等需要长链条推理的科研场景。
- 商业化路径短期并不清晰，更可能以科研合作与算力服务形式落地，不宜按通用模型的市场规模外推。
相关背景见同站笔记《Memo：AI for Science 爆发——前 DeepMind 曹原访谈核心要点》。
来源：科技日报、中国科学报/科学网、央广网