雷峰网 · 人工智能学术 · 19 天前精选模型评分83
上海人工智能（AI，Artificial Intelligence）实验室书生-S2助力三维Ghys猜想证明并通过形式化验证
上海AI实验室“书生-S2”大模型进入前沿数学研究流程：助力三维Ghys猜想证明并通过形式化验证
导读
上海人工智能实验室访问学者许地生团队依托书生科学多模态大模型S2（书生-S2），通过人机协同完成三维Ghys猜想证明，北京大学董彬、刘若川团队用SHEAF框架完成形式化验证并通过Lean检验。
推荐理由
读者可以看到大模型在数学研究中承担长链条推演、由数学家把握方向的人机协同分工，以及形式化验证如何为结论把关。
分类置信度
中 · 待人工复核
- 只有单一媒体来源，需要人工复核。
来源级别：媒体与个人
应用领域：科学研究
事件类型：研究发布
证据摘录
- “上海人工智能实验室（上海AI实验室）访问学者、大湾区大学教授许地生团队依托书生科学多模态大模型S2（书生-S2），基于“通专融合”技术路径，通过人机协同完成了三维Ghys猜想证明。”
- “相关论文已在预印本平台（arXiv）发布，其形式化代码也在Github平台公开。”
来源：雷峰网 · 人工智能学术 · leiphone.com