#arXiv

中国团队用书生科学多模态大模型S2证明三维Ghys猜想

上海AI实验室访问学者许地生团队依托书生科学多模态大模型S2，通过人机协同完成困扰数学界30余年的三维Ghys猜想证明，论文已在arXiv发布、形式化代码在GitHub公开。