中国大模型首次攻克三维Ghys猜想

上海人工智能实验室团队依托书生-S2大模型，通过人机协同完成三维Ghys猜想证明，北京大学团队用SHEAF框架完成形式化验证，标志中国科学家首次用中国大模型攻克该世界级数学难题。