雷锋网·· 4 小时前精选AI 评分74
上海AI实验室书生-S2助力三维Ghys猜想证明并通过Lean形式化验证
上海AI实验室“书生-S2”大模型进入前沿数学研究流程：助力三维Ghys猜想证明并通过形式化验证
AI 导读
上海AI实验室访问学者、大湾区大学教授许地生团队依托书生-S2，通过人机协同完成三维Ghys猜想证明，论文已在arXiv发布、形式化代码在Github公开。
推荐理由
原文交代了人机协同流程与Lean形式化验证细节，可了解大模型介入前沿数学研究的实际工作方式。
来源：雷锋网 · leiphone.com