中国科学家首次用中国大模型攻克世界级数学难题，曾困扰学界 30 余年
2026.10.15 · 事件 · AI 事件 · 媒体报道
上海 AI 实验室团队依托书生-S2 大模型，人机协同完成三维 Ghys 猜想证明。
上海人工智能实验室许地生团队依托书生科学多模态大模型 S2，基于“通专融合”路径，通过人机协同完成三维 Ghys 猜想证明。北京大学董彬、刘若川团队用 SHEAF 框架完成形式化验证，确认正确性。这是中国科学家首次用中国大模型攻克世界级数学难题。
- 三维 Ghys 猜想由法国数学家吉斯 1995 年提出
- 许地生团队依托书生-S2 人机协同完成证明
- 北大团队用 SHEAF 框架完成形式化验证
- 论文已发布 arXiv，形式化代码在 GitHub 公开
- 成果验证了“通专融合”的新科研范式
为什么值得看
看中国大模型如何首次攻下世界级数学难题。
适合谁关注
关注 AI for Science 与数学推理的读者。