中国团队用大模型证明三维Ghys猜想

2026年10月15日，据IT之家报道，上海人工智能实验室访问学者、大湾区大学教授许地生团队依托书生科学多模态大模型 S2（书生-S2），基于“通专融合”技术路径，通过人机协同完成了三维 Ghys 猜想的证明。报道称，相关论文已在预印本平台（arXiv）发布，其形式化代码也在 Github 平台公开。北京大学董彬教授、刘若川院士团队用其开发的 SHEAF 框架对该证明完成形式化验证，确认其正确性。目前该事件进展为：证明工作由许地生团队完成，形式化验证由北京大学团队完成，论文与代码已分别公开于 arXiv 和 Github。

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

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