书生-S2助力三维Ghys猜想证明并形式化验证

2026年10月15日，雷锋网报道，上海人工智能实验室访问学者许地生团队依托书生科学多模态大模型S2，通过人机协同方式完成了三维Ghys猜想的证明。随后，北京大学董彬、刘若川团队使用SHEAF框架对该证明完成形式化验证，并通过Lean检验。报道未披露证明的具体过程、时间线细节及此前进展，仅说明此次工作由AI模型辅助、人机协同完成，并经过形式化工具验证。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。