书生-S2人机协同完成三维Ghys猜想证明
热点事件持续更新
书生-S2人机协同完成三维Ghys猜想证明
1 篇报道1 个报道来源4 小时前更新
先了解这件事
AI 综述
上海人工智能实验室访问学者、大湾区大学教授许地生团队依托书生科学多模态大模型S2，基于“通专融合”技术路径，通过人机协同完成三维Ghys猜想证明。 北京大学董彬、刘若川团队用SHEAF框架对该证明完成形式化验证，并通过Lean检验。相关论文已在预印本平台arXiv发布，形式化代码在GitHub公开。
AI 根据报道生成 · 1 小时前更新
最新进展10月15日 15:14
上海AI实验室书生-S2 助力三维 Ghys 猜想证明并通过形式化验证报道时间线
沿着报道，了解事件的不同侧面。
10月15日
- 雷峰网 · AI精选上海AI实验室书生-S2 助力三维 Ghys 猜想证明并通过形式化验证
上海人工智能实验室访问学者许地生团队依托书生科学多模态大模型 S2（书生-S2），通过人机协同完成三维 Ghys 猜想证明，北京大学董彬、刘若川团队用 SHEAF 框架完成形式化验证并通过 Lean 检验。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。