书生S2大模型助力攻克三维Ghys猜想

近日，困扰数学界31年的三维Ghys猜想被攻克，国产科学大模型书生S2在其中发挥了重要作用。这是中国本土研发的AI大模型首次参与攻克世界级数学难题。瑞典皇家理工学院博士后张洁松博士是论文唯一作者，他近日接受采访，介绍了与导师、大湾区大学教授许地生合作利用书生S2攻克猜想的经历。

三维Ghys猜想由法国数学家Ghys提出，核心难点在于将动力系统信息与空间几何结构联系起来。Ghys此前解决了复二维情形，但复三维情形的方法无法直接推广。张洁松介绍，团队先提出总体研究路径，再拆解目标，让AI尝试不同构造和估计。书生S2的主要贡献是帮助发现跨领域工具之间的联系，如L²估计、曲率估计以及通过李群作用重建齐性空间结构的方法，这些联系成为证明中关键环节。

人机协作是一个反复往返的过程。人类数学家负责提出总体路径、筛选AI的尝试并核查论证，AI则提供大量思路，尝试不同证明方法。张洁松表示，AI知识覆盖面广，在跨领域联系方面有优势，提出了许多此前未考虑过的尝试。为保障可靠性，北京大学董彬、刘若川团队利用SHEAF框架对主要定理进行了Lean形式化验证。

张洁松认为，AI已经展现出超出单个数学家的解题能力，会拓宽数学研究范围，但人类数学家的核心价值仍在于发展理论、理解世界。他也担忧AI模型、算力集中可能扩大科研机会不平等等问题。