据 CGTN 10 月 15 日报道，一支中国研究团队与上海人工智能实验室（Shanghai AI Lab）的 Intern-S2 科学大模型合作，完整证明了困扰国际数学界 30 多年的三维 Ghys 猜想。CGTN 称，这是中国科学家首次依靠国产大模型攻克这一级别的数学难题。证明随后由北京大学团队独立完成了形式化机器验证。以上均为 CGTN 的报道内容。
据报道，团队由大湾区大学教授、上海人工智能实验室访问学者 Xu Disheng（报道中的英文拼写）带领，与实验室的 Intern-S2 科学大模型合作求解。AI 负责大规模、长链条、高度复杂的数学推导；研究人员把握整体方向，并筛选有希望的推理路线。
经过多轮迭代交互，双方得出了一份完整、严格的证明。
报道称，独立验证由中国科学院院士 Liu Ruochuan 与 Dong Bin 教授带领的北京大学团队完成。该团队使用自研框架，结合 AI agent 做大规模并行计算，对全部核心定理完成了形式化机器验证，生成了数十万行验证代码。
Ghys 猜想由法国数学家 Étienne Ghys 于 1995 年提出，是复动力系统领域长期未解的核心问题。报道配图展示的是「阿诺德猫映射」（Arnold cat map），这是混沌 Anosov 系统的经典例子，而这类系统正是该猜想的核心对象。报道还提到，该猜想的实数版本目前在全球范围内仍是未解问题。
据报道，论文已发布在国际预印本平台，验证代码已全部开源。报道中没有提到同行评审的结果。
