国产大模型助力中国科研团队破解困扰学界 30 余年的三维 Ghys 猜想

国产大模型助力中国科研团队破解困扰学界 30 余年的三维 Ghys 猜想

近日，复动力系统领域悬置 30 余年的核心难题 —— 三维 Ghys 猜想被中国科研团队正式宣告攻克。这是我国首次依托国产人工智能大模型破解世界级基础数学难题，标志着人机协同科研模式在前沿基础研究领域取得里程碑式突破。

这项成果由上海人工智能实验室访问学者、大湾区大学许地生教授团队主导完成，核心技术支撑来自书生 S2 科学大模型。研究团队采用 “方向把控 + 智能推演” 的人机协同新范式：科研人员负责锚定研究路线、筛选论证思路、把控整体逻辑方向，AI 系统则承担大跨度、长链条的批量数学推导与多路径探索工作。经过多轮交互迭代与思路修正，团队最终得到了三维 Ghys 猜想的完整严谨证明。

Ghys 猜想由法国数学家艾蒂安・吉斯（Étienne Ghys）于 1995 年提出，其核心命题是：紧致复流形上的每一个全纯 Anosov 微分同胚，都双全纯共轭于复幂零流形上的仿射自同构。通俗来说，就是探讨看似混沌无序的动力系统背后，是否必然隐藏着规整的代数几何结构。该猜想的二维情形早已由提出者本人证明，但三维情形因需要排除大量二维场景中不存在的奇异复结构，推理难度呈指数级上升，成为复动力系统领域公认的标杆性难题，其对应的实数版本至今仍是全球未解的公开问题。

攻关过程中，书生 S2 大模型展现出极强的长链条递归推理能力：首轮针对猜想的系统性推导就输出了近 400 页的推演报告，后续又陆续完成 7 批接续论证，问题关联节点从最初的 15 个扩展至 389 个，累计生成千页级的严密推导内容，并提出数十种全新的论证路径，为团队突破核心难点提供了关键线索。

为确保证明的绝对严谨，北京大学董彬教授、刘若川院士团队独立完成了成果的形式化验证工作。北大团队依托自主研发的 SHEAF 框架，通过大规模智能体并行运算，生成数十万行形式化验证代码，对整套证明逻辑进行了全链路、零缺口的机器核验，最终确认证明逻辑完整、推导严密、结论完全成立。

目前，相关研究论文已在国际预印本平台 arXiv 正式发布，全部验证代码也已在开源平台公开。业内观点指出，此次突破不仅填补了复动力系统领域的重大理论空白，更打破了传统基础数学研究高度依赖学者个人灵感与经验积累的单一路径，构建起 “人类直觉引导 + AI 批量推演 + 机器形式化兜底” 的新型科研范式，未来有望为更多基础学科的原始创新提供可复制的路径参考。（出自央视新闻，AI修饰）

彩虹PDM系统 免费试用 + 福利，快来体验吧
访问官方网站：http://plm2025.com/ 或 https://our2025.cn/
拨打客服热线：4001182025
文章标题：国产大模型助力中国科研团队破解困扰学界 30 余年的三维 Ghys 猜想
文章关键词：国产大模型,中国科研团队,三维Ghys猜想