中国数学家攻克世界级数学难题！中国科学多模态大模型立功
2026.10.28 · 事件 · AI事件 · 媒体报道
许地生团队人机协同证明三维Ghys猜想，北大团队用SHEAF框架完成Lean形式化验证。
大湾区大学许地生团队借助中国科学多模态大模型，通过人机协同完成三维Ghys猜想证明，7批接续推演、问题图从15个节点扩展到389个。北京大学董彬、刘若川团队用SHEAF框架完成全部四个主定理的Lean形式化验证，约5天产出约55万行Lean代码。
- 三维Ghys猜想由法国数学家Étienne Ghys于1995年提出，是复动力系统领域最重要的长期公开问题之一
- 许地生团队与国内某AI实验室组建联合团队，搭建面向数学研究的Harness系统，首轮推理产出400页推导报告
- 大模型完成7批接续推演，问题图从15个节点扩展到389个，输出上千页推导并生成数十种全新论证思路
- 北大董彬、刘若川团队用SHEAF框架完成四个主定理形式化验证，约5天、峰值100个智能体、约55万行Lean代码
- 论文已在arXiv发布，形式化代码在GitHub公开；谢俊逸曾用GPT-6尝试该题未找到证明方案
为什么值得看
国产大模型首次助力攻克世界级数学难题，并完成形式化验证
适合谁关注
关注AI for Math、大模型科研应用与数学前沿的读者