书生-S2人机协同完成三维Ghys猜想证明
热点事件持续更新
书生-S2人机协同完成三维Ghys猜想证明
1 篇报道1 个报道来源11 小时前更新
先了解这件事
AI 综述
上海人工智能实验室访问学者、大湾区大学教授许地生团队依托书生科学多模态大模型S2，通过人机协同完成了三维Ghys猜想的证明。相关论文已在arXiv发布，形式化代码在GitHub公开。 北京大学董彬、刘若川团队用SHEAF框架完成了该论文全部四个主定理的Lean形式化验证，证明通过Lean检验。 团队称，接下来将把本次研究跑通的能力闭环封装为书生·端砚科学发现平台可复用的数学验证模块，供后续科学问题研究调用。
AI 根据报道生成 · 8 小时前更新
最新进展10月15日 15:14
上海AI实验室书生-S2助力三维Ghys猜想证明并通过Lean形式化验证报道时间线
沿着报道，了解事件的不同侧面。
10月15日
- 雷峰网上海AI实验室书生-S2助力三维Ghys猜想证明并通过Lean形式化验证
上海AI实验室访问学者许地生团队依托书生科学多模态大模型S2，通过人机协同完成三维Ghys猜想证明，北京大学董彬、刘若川团队用SHEAF框架完成全部四个主定理的Lean形式化验证。
本事件热度走势
- 可比范围当前
- 8
- 可比范围峰值
- 910月15日 18:00
- 近 24 小时变化
- –
02.557.510
18:0020:0022:0010月16日
趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。