上海人工智能实验室用书生-S2 完成三维 Ghys 猜想证明，成果已获形式化验证

上海人工智能实验室访问学者、大湾区大学教授许地生团队依托书生科学多模态大模型 S2（书生-S2），以“通专融合”路径通过人机协同完成三维 Ghys 猜想的证明，北京大学董彬教授、刘若川院士团队用 SHEAF 框架对证明做了形式化验证。