全球首次！国产科学大模型立功！中国攻克困扰学界30余年的世界级数学难题！

2026年10月15日，上海人工智能实验室正式对外公布重磅科研成果，全球首次依托国产科学大模型，完整证明并机器核验三维Ghys猜想，创下AI辅助高端基础数学研究的全球全新标杆。

Ghys猜想由法国数学家在1995年提出，是复动力系统领域公认的核心难题，三十多年来始终没有完整证明方案问世。通俗打个比方，这道难题就像是给极度混乱、无规律的多维运动轨迹，建立一套严谨通用的分类判定逻辑，是基础数学领域典型的卡脖子级科研难题。本次被成功破解的是三维复数版本，对应的实数版本截至目前，依旧是全球尚未解决的公开数学难题。

本次攻关分工清晰、全程可溯源：由上海AI实验室访问学者、大湾区大学许地生团队，依托书生S2科学大模型开展人机协同证明工作；北京大学董彬教授、刘若川院士团队，使用自研SHEAF框架，独立完成全流程机器形式化验证，彻底坐实证明的严谨性与准确性。

早在本次成果诞生之前，国内顶尖学者曾使用海外顶级大模型GPT-6尝试攻坚该猜想，最终未能形成有效、完整的证明方案。而国产书生系列大模型早有扎实的数学功底，2025年书生S1就在全国数学奥赛CMO考试中拿下102分，远超金牌分数线，过硬的数理推理能力，让科研团队在2026年初正式开启联合攻关。

整项研究是典型的人机优势互补新模式：AI负责承接超长链条、高重复性的精密逻辑推演，累计完成7批接续推演，将原有15个节点的基础问题结构，拓展为389个节点的完整逻辑体系，生成数十种全新的论证思路，产出上千页推导内容；人类数学家全程把控科研方向、甄别有效思路、锁定核心突破口，规避纯AI推演的逻辑偏差问题。

在最关键的形式化验证环节，中国团队展现出极高的科研效率：峰值调用100个智能体并行运算，仅用时5天，就完成全部逻辑校验，累计产出约55万行Lean标准核验代码，通过计算机逐行校验，确认整套证明逻辑闭环、无漏洞。目前，相关学术论文已公开上线arXiv预印本平台，全套核验开源代码同步在GitHub发布，面向全球学界公开复检。

从全球科研维度对比，这是全世界首个依托国产科学大模型，完成重大前沿数学猜想完整证明，且通过严格机器形式化核验的科研成果。彻底改变了此前高端数理推理、顶级数学难题辅助攻关长期依赖海外AI系统的局面，开辟了国产AI赋能基础数学研究的全新范式。

过去顶尖基础数学研究，极度依赖数学家个人灵感与长年人工推演，大量长链条复杂推导耗费极高的时间与人力成本。而本次落地的人机协同科研模式，为拓扑数学、动力系统、几何理论等领域的难题攻坚，提供了全新的可行路径。

作为物理研究、信息科学、芯片底层逻辑、密码体系设计的底层根基，本次基础数学突破，能够为国内复杂理论核验、精密系统逻辑验证、前沿基础科研自主化，提供全新的国产技术工具，助力底层核心科研摆脱外部技术依赖。

图：复平面复数运算示意图，复动力系统Ghys猜想的底层数学基础。图片来源：上海人工智能实验室官方公开科普素材，本次仅作科技科普引用。