国产大模型助力证明Ghys猜想

2026年10月19日，量子位报道，大湾区大学许地生团队与上海AI实验室合作，借助书生-S2科学基础模型，证明了1995年提出的Ghys猜想在复余维一情形下成立，解决了悬而未决30多年的复三维情形。双方经7批接续推演，问题图从15个节点扩展到389个节点，累计生成上千页材料。北大董彬、刘若川团队随后用Lean 4与自研SHEAF框架，约5天生成约55万行Lean代码，完成四个主要定理的形式化验证，代码已在GitHub公开。

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

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