中国科学家首次用自主大模型攻克困扰学界三十余年数学难题

封面为AI生成的主题示意图，非新闻现场照片。

上海人工智能实验室于 10 月 15 日发文宣布，困扰数学界三十余年的世界级难题——三维 Ghys 猜想正式得到破解。这一突破标志着中国科学家首次利用中国自主研发的大模型成功攻克该领域重要问题。

攻关由上海人工智能实验室访问学者许地生团队主导，他们依托书生科学多模态大模型 S2（书生-S2），基于“通专融合”技术路径，通过人机协同完成了猜想的证明工作。北京大学董彬教授与刘若川院士团队则利用其开发的 SHEAF 框架对证明过程进行了形式化验证，确认了结果的严谨性。

Ghys 猜想由法国数学家艾蒂安·吉斯于 1995 年提出，核心内容是猜测每一个紧致复流形上的全纯 Anosov 系统，都双全纯共轭于某个复 infra-幂零流形上的全纯仿射自同构。该问题在动力系统领域被公认为长期公开的重要难题，被视为检验数学推理能力的试金石。

相关论文已在预印本平台 arXiv 发布，形式化代码则在 Github 平台公开（项目地址：https://github.com/frenzymath/HolomorphicAnosov）。上海人工智能实验室指出，本研究验证了一种新的科研范式，即将专家直觉系统性接入机器求解回路，形成“系统探索—专家判断—成果积累—反馈修正”的闭环。

基于此次突破跑通的完整能力闭环，团队计划将相关技术封装为书生·端砚科学发现平台可复用的数学验证模块，供后续研究直接调用。实验室还将把推理能力扩展至数学结构同源的其他学科，通过“突破—封装—复用—再突破”的自进化飞轮机制，推动更多基础科学领域的原始创新。