上海AI实验室书生-S2证明Ghys猜想

发生了什么

据雷锋网10月15日报道，上海AI实验室访问学者许地生团队依托书生-S2大模型，通过人机协同完成了三维Ghys猜想证明。北京大学董彬教授、刘若川院士团队利用SHEAF框架完成形式化验证，证明已通过Lean检验。该成果标志着中国科学家首次用中国大模型攻克世界级数学难题。