# 中國研究人員運用國產AI模型證明三維Ghys猜想

https://mins.news/zh-Hant/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科學大型模型合作，完成三維Ghys猜想的嚴謹證明。北京大學團隊透過形式化機器驗證，確認核心定理及整份證明在邏輯上完整；論文已刊於國際預印本平台，驗證程式碼也已開源。