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