**中国团队首创国产大模型，30 年数学难题 3D Ghys 猜想获证**

_Chinese researchers solve 3D Ghys conjecture with homegrown AI model_

> 由徐 Disheng 教授领衔的中国科研团队，首次利用国产 Intern-S2 科学大模型成功证明了困扰国际数学界 30 余年的 3D Ghys 猜想。该研究展示了 AI 在大规模、长链条数学推导中的关键作用，并通过独立团队使用自研框架与 AI 代理进行了验证，标志着国产 AI 在解决顶级数学难题上取得重大突破。

**来源信息**
- **来源**：Hacker News：AI 热帖
- **分类**：ai-models
- **发布时间**：2026-10-19 04:19（北京时间）
- **原文**：[打开原文](https://news.cgtn.com/news/2026-10-15/Chinese-researchers-solve-3D-Ghys-conjecture-with-homegrown-AI-model-1RgD8zQ3Z3a/p.html)