Ghys 猜想（Ghys Conjecture）是数学家 Étienne Ghys 提出的一个关于三维动力系统的公开问题，涉及链环与纽结在流形动力学中的拓扑刻画，长期悬而未决。2025 年底，上海人工智能实验室的大模型 Intern-S2 与人类数学家协作，宣布完成其三维情形的证明，并通过 Lean 形式化验证，使 Ghys 这个名词首次同时出现在纯数学与 AI 科研的交叉视野中。
Ghys 猜想的三维证明进展
当前焦点与观察点
这一事件引发的讨论集中在两个层面。其一，技术层面：Ghys 猜想属于拓扑与动力系统交叉领域，大模型能在多大程度上真正参与构造数学证明、而非仅做检索与整理，仍需看到证明细节与 Lean 形式化代码后才能评估。Lean 验证是重要的加分项，因为机器可检查的证明基本消除了“AI 幻觉”式错误。
其二，模式层面：此次工作是“人类数学家主导方向、AI 模型辅助探索”的协作形态，而非 AI 独立完成定理证明。观察者普遍关注这类人机协作范式能否复制到更多公开数学难题上，以及学术界对 AI 参与作者署名、贡献认定的规范是否需要同步更新。在独立复核与论文正式发表之前，对三维 Ghys 猜想被“彻底解决”的表述保持谨慎是合理的。