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