科学中国研究人员借助国产AI模型证明三维Ghys猜想

由徐迪生带领的中国团队与上海人工智能实验室的Intern-S2科学大模型合作，完成了三维Ghys猜想的严格证明。北京大学团队通过形式化机器验证确认核心定理及整份证明逻辑完整；论文已发布在国际预印本平台，验证代码也已开源。

数学人工智能Ghys猜想中国

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