上海AI实验室“书生-S2”大模型进入前沿数学研究流程：助力三维Ghys猜想证明并通过形式化验证

上海人工智能实验室（上海AI实验室）访问学者、大湾区大学教授许地生团队依托书生科学多模态大模型S2（书生-S2），基于“通专融合”技术路径，通过人机协同完成了三维Ghys猜想证明。北京大学董彬教授、刘若川院士团队利用其开发的SHEAF框架对本次证明完成形式化验证，验证了这一工作的正确性。有业内人士认为，这标志着中国科学家首次用中国大模型攻克世界级数学难题。 “Ghys猜想”由法国数学家艾蒂安·吉斯（Étienne Ghys）于1995年提出，猜测每一个紧致复流形上的全纯Anosov系统，都双全纯共轭于某个复infra-幂零流形上的全纯仿射自同构。该问题兼具理论难度与学科标志性价值，被动力系统领域数学专家公认为该领域最重要的长期公开问题之一，是检验数学推理能力的一块试金石。 相关论文已在预印本平台（arXiv）发布，其形式化代码也在Github平台公开。 Ghys猜想，为混沌系统寻找“底层代码” 1995年，法国数学家艾蒂安·吉斯（Étienne Ghys）提出Ghys猜想，其核心是： 混沌的动力系统行为的存在是否能决定几何上的分类。 这是复动力系统领域的一个重要难题。如果这一猜想成立，混乱的动力学轨迹的问题就能被“化归”成简洁、规整的标准代数模型。 如何理解Ghys猜想？可以想象在一个封闭有限、没有边界、每一小块都遵守复数运算规则的“世界”。 对Anosov系统，可借助揉面类比：按压、延展、折叠面团，部分方向被拉伸，部分方向被压缩。拉伸效应会让初始紧邻的点快速分离——初始条件微小差异，会带来截然不同的演化结果。 Ghys猜想说，只要存在这样一种“既像揉面又完全规则”的运动，那么这个“世界”就只能是一种由简单规则反复拼接、像晶体格子一样高度规整的形状。例如复环面： 换个视角看，这个运动本质上就是这个“世界”的简单平移、旋转或缩放。也就是说，运动方式太混沌，会反过来决定世界只能长成什么形状。2026年国际数学家大会45分钟报告人，北京大学北京国际数学研究中心谢俊逸教授评价：“Ghys猜想的难点在于其对应的实（数）版本的类似断言仍是著名的完全公开的难题，复数的情形问题变得更加刚性，是复动力系统刚性现象研究中的重要问题，非常困难”。 大湾区大学教授许地生长期深耕该猜想的研究，曾与其导师、菲尔兹奖得主阿图尔·阿维拉（Avila）教授合作研究三维情形，但未形成有效的证明思路；此后他与其学生张洁松博士合作在三维情形下取得Ghys猜想的部分弱相关结果，相关成果刊发于数学顶级期刊《欧洲数学会杂志》（JEMS）。 7批接续推演、389个节点，人机协同取得关键突破 “科学发现是对智能的终极考验。”上海人工智能实验室主任、首席科学家周伯文作出过一个判断：问题越古老、越基础，AI提效的空间越大——AI参与攻关的单克隆抗体、蛋白质折叠，以及至今悬而未决的千禧年难题纳维-斯托克斯方程，都