中国科学家依托国产大模型书生S2攻克三维Ghys猜想

近日，困扰国际数学界30余年的三维Ghys猜想被中国团队成功攻克。大湾区大学理学院教授许地生团队依托上海人工智能实验室的书生科学多模态大模型S2，基于“通专融合”技术路径，通过人机协同完成了该猜想的严谨证明。

Ghys猜想由法国数学家艾蒂安·吉斯于1995年提出，是复动力系统领域的核心难题：它猜测每一个紧致复流形上的全纯Anosov系统，都双全纯共轭于某个复infra-幂零流形上的全纯仿射自同构。如果该猜想成立，混乱的动力学轨迹问题就能被“化归”为简洁的标准代数模型，被视为检验高阶数学推理能力的一块试金石。

攻关过程中，书生-S2发挥长链条大规模推演优势，先后完成7批接续推演，问题图从15个节点扩展到389个，输出上千页的严密推导，并生成数十种全新论证思路。科研人员则把握研究方向、校准探索路径，与模型多轮迭代，最终锁定关键突破口。成果的严谨性由北京大学董彬教授、刘若川院士团队利用自研SHEAF框架完成形式化机器验证，产出数十万行验证代码，确认证明逻辑无漏洞、完全成立。

这是中国科学家首次使用国产大模型攻克世界级数学难题，也是人工智能赋能基础数学研究的标志性突破。相关论文已在预印本平台arXiv发布，形式化代码在GitHub全面开源。该案例建立起“系统探索—专家判断—成果积累—反馈修正”的人机协同科研新范式，可为更多“搜索空间巨大而专家稀缺”的基础学科提供借鉴。