大湾区大学与上海AI实验室依托书生-S2大模型攻克三维 Ghys 猜想

大湾区大学与上海人工智能实验室团队依托书生-S2多模态大模型，通过人机协同完成了三维 Ghys 猜想的理论推演，并由北京大学团队利用 SHEAF 框架完成形式化验证。该猜想由数学家吉斯于 1995 年提出，涉及复流形上的全纯动力系统问题。相关研究论文已在 arXiv 发布且形式化代码在 GitHub 开源，团队后续拟将该推理能力封装进书生·端砚科学发现平台。