大湾区大学与上海AI实验室用书生-S2证明Ghys猜想复三维情形

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