上海AI实验室书生-S2参与三维Ghys猜想证明并通过形式化验证

上海AI实验室访问学者许地生团队依托书生-S2，通过人机协同完成三维Ghys猜想证明，北京大学董彬、刘若川团队使用SHEAF框架对证明进行了形式化验证。材料称，首轮推理生成400页推导报告，后续经过7批接续推演、涉及389个节点；相关论文已发布于arXiv，形式化代码已在GitHub公开。