上海AI实验室书生-S2助力三维Ghys猜想证明并通过形式化验证
原标题：上海AI实验室“书生-S2”大模型进入前沿数学研究流程：助力三维Ghys猜想证明并通过形式化验证
AI 摘要
上海人工智能实验室访问学者、大湾区大学教授许地生团队依托书生科学多模态大模型S2（书生-S2），通过人机协同完成三维Ghys猜想证明，北京大学董彬教授、刘若川院士团队利用SHEAF框架完成形式化验证并通过Lean检验。攻关中书生-S2完成7批接续推演，问题图从15个节点扩展到389个，输出上千页推导，相关论文已在arXiv发布、形式化代码在GitHub公开。团队计划将能力封装为书生·端砚科学发现平台的数学验证模块，形成可复用的科研基础设施。
正文节选
0 上海人工智能实验室（上海AI实验室）访问学者、大湾区大学教授许地生团队依托书生科学多模态大模型S2（书生-S2），基于“通专融合”技术路径，通过人机协同完成了三维Ghys猜想证明。北京大学董彬教授、刘若川院士团队利用其开发的SHEAF框架对本次证明完成形式化验证，验证了这一工作的正确性。有业内人士认为，这标志着中国科学家首次用中国大模型攻克世界级数学难题。 “Ghys猜想”由法国数学家艾蒂安·吉斯（Étienne Ghys）于1995年提出，猜测每一个紧致复流形上的全纯Anosov系统，都双全纯共轭于某个复infra-幂零流形上的全纯仿射自同构。该问题兼具理论难度与学科标志性价值，被动力系统领域数学专家公认为该领域最重要的长期公开问题之一，是检验数学推理能力的一块试金石。 相关论文已在预印本平台（arXiv）发布，其形式化代码也在Github平台公开。 Ghys猜想，为混沌系统寻找“底层代码” 1995年，法国数学家艾蒂安·吉斯（Étienne Ghys）提出Ghys猜想，其核心是：混沌的动力系统行为的存在是否能决定几何上的分类。 这是复动力系统领域的一个重要难题。如果这一猜想成立