#推理

上海AI实验室书生-S2 助力三维 Ghys 猜想证明并通过 Lean 形式化验证

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