雷峰网·· 9 小时前精选AI 评分88
上海AI实验室书生-S2 助力三维 Ghys 猜想证明并通过 Lean 形式化验证
上海AI实验室“书生-S2”大模型进入前沿数学研究流程：助力三维Ghys猜想证明并通过形式化验证
AI 导读
上海AI实验室访问学者许地生团队依托书生科学多模态大模型 S2，通过人机协同完成三维 Ghys 猜想证明，相关论文已发布在 arXiv，形式化代码在 GitHub 公开。
推荐理由
读者可了解书生-S2 在三维 Ghys 猜想证明中的人机协同流程，以及 Lean 形式化验证的并行规模。
来源：雷峰网 · leiphone.com