书生-S2助力三维Ghys猜想证明
热点事件持续更新
书生-S2助力三维Ghys猜想证明
1 篇报道1 个报道来源4 小时前更新
先了解这件事
AI 综述
上海AI实验室称，访问学者、大湾区大学教授许地生团队依托书生-S2大模型，通过人机协同完成三维Ghys猜想的证明，并通过Lean形式化验证；论文已在arXiv发布，形式化代码在Github公开。 该实验室称，整个过程约5天，峰值并发达100个智能体，产出约55万行Lean代码。
AI 根据报道生成 · 58 分钟前更新
最新进展10月15日 15:14
上海AI实验室书生-S2助力三维Ghys猜想证明并通过Lean形式化验证报道时间线
沿着报道，了解事件的不同侧面。
10月15日
- 雷锋网精选上海AI实验室书生-S2助力三维Ghys猜想证明并通过Lean形式化验证
上海AI实验室访问学者、大湾区大学教授许地生团队依托书生-S2，通过人机协同完成三维Ghys猜想证明，论文已在arXiv发布、形式化代码在Github公开。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。