据IT之家10月15日报道，上海人工智能实验室宣布，上海人工智能实验室访问学者、大湾区大学教授许地生团队，依托书生科学多模态大模型S2（书生-S2），通过人机协同完成了三维Ghys猜想的证明。此次研究采用的是“通专融合”技术路径，并非由模型独立完成证明。
Ghys猜想由法国数学家艾蒂安·吉斯于1995年提出，涉及紧致复流形上的全纯Anosov系统与特定全纯仿射自同构之间的关系。报道将其介绍为动力系统领域的重要长期公开问题之一。此次宣布的成果范围是三维Ghys猜想。
在证明验证环节，北京大学董彬教授、刘若川院士团队使用其开发的SHEAF框架完成了形式化验证。据报道，该验证确认了此次证明的正确性。相关论文已在预印本平台arXiv发布，形式化代码也已在GitHub公开。
上海人工智能实验室将这项研究的意义归纳为一种新的科研范式：把专家直觉系统性接入机器求解回路，形成“系统探索—专家判断—成果积累—反馈修正”的闭环。实验室认为，这种方式可推广到更多“搜索空间巨大而专家稀缺”的基础研究领域；这是实验室对方法适用前景的判断。
后续平台化工作仍是计划。按实验室介绍，团队将把此次研究的能力闭环封装为书生·端砚科学发现平台可复用的数学验证模块，供后续研究调用，并计划将积累的推理能力扩展至数学结构同源的其他学科。已经公布的成果，是本次人机协同证明、形式化验证及论文与代码公开。