中国科学家借书生-S2完成三维 Ghys 猜想证明与形式化验证

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