书生-S2人机协同证明三维Ghys猜想并通过Lean验证

上海人工智能实验室访问学者、大湾区大学教授许地生团队依托书生科学多模态大模型S2，通过人机协同完成三维Ghys猜想证明；北京大学董彬、刘若川团队用SHEAF框架完成全部四个主定理的形式化验证，证明已通过Lean检验。相关论文已在arXiv发布，形式化代码在GitHub公开。 上海AI实验室称，在IMO-Proof、AdvancedMathBench等长程严谨推理基准上，书生-S2整体领先现有开源模型，部分指标超越Gemini 3.1 Pro等闭源模型。团队下一步将把本次跑通的能力闭环封装为书生·端砚科学发现平台可复用的数学验证模块。

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

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