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

徐迪生領導的中國團隊與上海人工智慧實驗室的Intern-S2科學大型模型合作，完成三維Ghys猜想的嚴謹證明。北京大學團隊透過形式化機器驗證，確認核心定理及整份證明在邏輯上完整；論文已刊於國際預印本平台，驗證程式碼也已開源。

數學人工智慧Ghys猜想中國

CCGTN★★★☆☆2026-10-15 14:00原文