# 中国の研究者、国産AIモデルで3次元ギース予想を証明

https://mins.news/ja/item/102482

- CGTN, 2026-10-15 14:00 UTC
- 科学
- 元記事: https://news.cgtn.com/news/2026-10-15/Chinese-researchers-solve-3D-Ghys-conjecture-with-homegrown-AI-model-1RgD8zQ3Z3a/p.html?UTM_Source=cgtn&UTM_Medium=rss&UTM_Campaign=China

> 徐迪生氏が率いるチームは、上海人工知能研究所の科学大規模モデル「Intern-S2」と協力し、3次元ギース予想の厳密な証明を完成させた。北京大学のチームは形式的な機械検証で主要定理と証明全体の論理的完全性を独立に確認した。論文は国際プレプリントサイトで公開され、検証コードもオープンソース化された。