上海AI实验室用书生S2人机协同证明三维Ghys猜想

2026年10月15日，上海人工智能实验室宣布，许地生团队依托书生科学多模态大模型 S2（书生-S2），通过人机协同完成困扰学界30余年的三维 Ghys 猜想证明。北京大学董彬、刘若川团队使用 SHEAF 框架完成形式化验证。论文已发布至 arXiv，形式化代码公开于 GitHub 仓库 frenzymath/HolomorphicAnosov。相关能力将封装为书生·端砚科学发现平台的可复用数学验证模块。

AI 根据报道生成 · 2 小时前更新

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