首页/24小时快讯快讯10月15日来源:雷锋网原文 ↗上海AI实验室“书生-S2”大模型进入前沿数学研究流程:助力三维Ghys猜想证明并通过形式化验证2026年10月15日·QIDIAN NEWS上海人工智能实验室(上海AI实验室)访问学者、大湾区大学教授许地生团队依托书生科学多模态大模型S2(书生-S2),基于“通专融合”技术路径,通过人机协同完成了三维Ghys猜想证明。北京大学董彬教授、刘…返回快讯列表24H / FLASH