三维Ghys猜想近日宣告破解，中国科学家首次用中国大模型完成证明。许地生团队基于书生S2完成证明，北大团队用SHEAF框架验证。涉及上海AI实验室、大湾区大学及北京大学。

上海AI实验室访问学者许地生团队依托书生科学多模态大模型S2完成三维Ghys猜想证明。北大团队完成形式化验证。涉及上海AI实验室及数学家。