中国科学家证明并形式化验证三维Ghys猜想

2026年10月15日，上海人工智能实验室许地生团队依托书生-S2和人机协同，完成三维Ghys猜想的证明；北京大学董彬教授、刘若川院士团队使用SHEAF框架完成形式化验证。相关论文已在arXiv发布，形式化代码也已在GitHub公开。团队计划把相关能力封装为书生·端砚科学发现平台的数学验证模块。

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

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