书生大模型破解三维Ghys猜想：中国AI首克30年数学难题

中国在人工智能与基础科学的交叉地带拿下一项重大成果。上海人工智能实验室方面透露，三维 Ghys 猜想这一困扰全球数学界 30 余年的世界级难题，近日已被正式破解。国产大模型首次被中国科学家用来攻克世界级数学难题，此前没有先例。

这项研究由上海人工智能实验室访问学者、大湾区大学教授许地生团队领衔。团队走的是“通专融合”的技术路径，靠“书生科学多模态大模型 S2”（书生-S2）以人机协同的方式，最终把三维 Ghys 猜想的证明做了出来。证明过程另由北京大学董彬教授、刘若川院士团队用其自主开发的 SHEAF 框架完成形式化验证，成果的正确性由此得到确凿证实。三维 Ghys 猜想属于数学动力系统领域重要的长期公开问题，由法国数学家艾蒂安·吉斯（Étienne Ghys）于 1995 年提出，内容是：每一个紧致复流形上的全纯 Anosov 系统，都双全纯共轭于某个复 infra-幂零流形上的全纯仿射自同构。这个问题理论难度极高，又带有学科标志性价值，数学界长期把它当作检验人工智能与人类数学推理能力的一块试金石。

人机协同拿下这道难题，说明国产大模型在尖端科学计算与复杂逻辑推理上潜力不浅，人工智能深入基础科学研究也多了一条新的实践路径。