10月15日，上海人工智能实验室发文，困扰数学界30余年的世界级难题——三维Ghys猜想迎来了破解。这是中国科学家首次用中国大模型成功攻克世界级数学难题。
人机协同证明，北京大学完成形式化验证
上海人工智能实验室访问学者、大湾区大学教授许地生团队依托书生科学多模态大模型S2（书生-S2），基于”通专融合”技术路径，通过人机协同完成了三维Ghys猜想证明。北京大学董彬教授、刘若川院士团队利用其开发的SHEAF框架对本次证明完成形式化验证，确认工作正确。
Ghys猜想：1995年提出的拓扑难题
Ghys猜想由法国数学家艾蒂安·吉斯（Étienne Ghys）于1995年提出，猜测了粿群（group of diffeomorphisms of the circle）在某些拓扑不变量之间的关系。该猜想是圆周微分拓扑领域的核心问题之一，此前长期未被完全证明。
书生-S2 是什么
书生-S2 是上海人工智能实验室 9 月 15 日开源的基础大模型，主打「通专融合」——把专业领域能力做成可插拔模块，通用能力处于开源第一梯队，在生物、材料等科学长程任务上比肩顶尖模型。这次破解三维 Ghys 猜想，是该路线在数学场景的一次落地。大模型参与数学证明也已有先例：OpenAI 的 GPT-6 Astra 曾与数学家合作攻克悬置 57 年的 N≤20 圆盘装箱问题。
延伸阅读
- GPT-6 Astra联手数学爱好者证明57年「摆圆」难题，N≤20最优排列获严格证明6 天前
- GPT-6 Astra联手数学家攻克57年难题：N≤20圆盘装箱问题如何被AI证明6 天前
- 46岁数学家凭AI量化交易跻身英国富豪榜第八：身家超1417亿元，日均增1.7亿7 天前
- OpenAI一次性公开722份数学证明，陶哲轩称「证明消化不良」1 周前
AI 自学笔记 每天更新 AI 前沿动态，订阅 RSS，或按 Ctrl/⌘+D 收藏本站，明天见。
继续读
同一批更新里这几篇值得一看：
- GPT-6 Astra联手数学爱好者证明57年「摆圆」难题，N≤20最优排列获严格证明2026-10-13
- 46岁数学家凭AI量化交易跻身英国富豪榜第八：身家超1417亿元，日均增1.7亿2026-10-12
- OpenAI一次性公开700多份数学研究文稿，青年数学家担忧成果被AI吸收2026-10-10