书生大模型破解困扰数学界 30 年的三维 Ghys 猜想

三维 Ghys 猜想由法国数学家Étienne Ghys 于 1995 年提出，被公认为动力系统领域重要的长期公开问题之一，兼具理论难度与学科标志性价值，困扰数学界 30 余年。

上海人工智能实验室宣布，访问学者、大湾区大学教授许地生团队依托书生科学多模态大模型 S2，通过人机协同完成该猜想证明，北京大学董彬教授、刘若川院士团队利用 SHEAF 框架完成形式化验证。论文已发布于 arXiv，代码在 Github 开源。

实验室称，本次攻关将专家直觉接入机器求解回路，形成“系统探索—专家判断—成果积累—反馈修正”闭环，验证了一种可复制推广的新科研范式。

团队后续将把相关能力封装为书生·端砚科学发现平台的数学验证模块，并将推理能力扩展应用于数学结构同源的其他学科。