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