中国科学家首次用书生-S2大模型攻克三维Ghys猜想，曾困扰学界30余年

上海人工智能实验室团队依托书生-S2多模态大模型通过人机协同完成三维Ghys猜想证明，破解困扰数学界30余年的难题。北京大学团队用SHEAF框架形式化验证该证明，论文发于arXiv，代码在GitHub公开。团队计划将推理能力封装为端砚平台复用模块，形成自进化飞轮。