上海AI实验室：依托书生‑S2大模型，人机协同破解困扰学界30余年三维Ghys猜想

上海人工智能实验室正式公布，困扰复动力系统领域三十余年的公开难题三维Ghys猜想已被破解。大湾区大学许地生教授（上海AI实验室访问学者）团队，采用通专融合技术路线，依靠书生科学多模态大模型S2（书生‑S2）以人机协同方式完成猜想证明。北京大学董彬教授、刘若川院士团队使用自研SHEAF框架完成完整形式化验证，确认证明逻辑成立；这也是中国科学家首次借助国产大模型攻克世界级数学难题。

Ghys猜想是法国数学家 Étienne Ghys 在1995年提出，命题指出紧致复流形上的每一个全纯Anosov系统，都双全纯共轭于某个复infra‑幂零流形上的全纯仿射自同构，是动力系统领域标志性长期开放问题，常被视作高阶数学推理能力的试金石，该猜想实数版本至今仍未解决。

• 论文：https://arxiv.org/abs/2609.37695
• GitHub：https://github.com/frenzymath/HolomorphicAnosov。

本次攻关探索出一套新型科研范式：区别于传统数学研究高度依赖研究者个人摸索，新范式把领域专家直觉接入机器求解链路，形成系统探索‑专家判断‑成果积累‑反馈修正闭环，有望复制到搜索空间庞大、领域专家稀缺的各类基础研究，助力更多从0到1原始创新。

后续规划：本次跑通的整套能力闭环，会封装为书生·端砚科学发现平台可复用数学验证模块，供后续科研调用。同时把本次沉淀得到的推理能力迁移至其他数学结构同源学科；取得新突破后再将能力回灌平台，构建「突破‑封装‑复用‑再突破」自进化飞轮。（来源）

要点小结

1. 许地生团队依托书生‑S2科学大模型人机协同完成三维Ghys猜想证明，北大团队通过SHEAF框架完成独立形式化验证。
2. Ghys猜想是复动力系统三十余年悬而未决的重要公开问题，论文与形式化验证代码均对外开源。
3. 验证了AI+数学家的新型科研闭环；成果能力将封装进书生·端砚平台，面向更多基础学科复用。