雷峰网·· 12 小时前AI 评分71
上海AI实验室书生-S2助力三维Ghys猜想证明并通过Lean形式化验证
上海AI实验室“书生-S2”大模型进入前沿数学研究流程：助力三维Ghys猜想证明并通过形式化验证
AI 导读
上海AI实验室访问学者许地生团队依托书生科学多模态大模型S2，通过人机协同完成三维Ghys猜想证明，北京大学董彬、刘若川团队用SHEAF框架完成全部四个主定理的Lean形式化验证。
来源：雷峰网 · leiphone.com
上海AI实验室书生-S2助力三维Ghys猜想证明并通过Lean形式化验证