雷锋网·· 4 小时前精选AI 评分82
上海AI实验室书生-S2 助力三维 Ghys 猜想证明并通过 Lean 形式化验证
上海AI实验室“书生-S2”大模型进入前沿数学研究流程：助力三维Ghys猜想证明并通过形式化验证
AI 导读
上海AI实验室访问学者许地生团队依托书生科学多模态大模型 S2，通过人机协同完成三维 Ghys 猜想证明，北京大学董彬、刘若川团队用 SHEAF 框架完成全部四个主定理的 Lean 形式化验证。
推荐理由
读者可了解书生-S2 在三维 Ghys 猜想证明中的人机协同流程，以及 Lean 形式化验证如何组织大规模智能体并行。
来源：雷锋网 · leiphone.com