#arXiv

上海人工智能实验室用书生 S2 大模型完成三维 Ghys 猜想证明

上海人工智能实验室访问学者许地生团队依托书生科学多模态大模型 S2，通过人机协同完成三维 Ghys 猜想证明，该猜想由法国数学家 Étienne Ghys 于 1995 年提出，困扰数学界 30 余年。