中国团队依托书生大模型破解三维Ghys猜想

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

AI 根据报道生成 · 44 分钟前更新

还没有足够的连续观测数据，暂不绘制趋势。