国内学者借助书生-S2大模型完成三维Ghys猜想证明

上海人工智能实验室与大湾区大学许地生团队依托书生科学多模态大模型S2，通过人机协同完成了动力系统领域三维Ghys猜想的证明。北京大学刘若川、董彬团队使用SHEAF框架对证明完成了形式化验证，相关论文已在arXiv发布，形式化代码已在GitHub开源。