雷锋网·· 4 小时前精选AI 评分85
上海AI实验室书生-S2助力三维Ghys猜想证明并通过Lean形式化验证
上海AI实验室“书生-S2”大模型进入前沿数学研究流程：助力三维Ghys猜想证明并通过形式化验证
AI 导读
上海人工智能实验室访问学者许地生团队依托书生科学多模态大模型S2，通过人机协同完成三维Ghys猜想证明，北京大学董彬、刘若川团队用SHEAF框架完成全部四个主定理的形式化验证，证明已通过Lean检验。
推荐理由
材料完整呈现了人机协同攻关数学难题的流程与形式化验证细节，可了解大模型参与研究级数学的具体分工方式。
来源：雷锋网 · leiphone.com