中国大模型迎来历史性突破！科学家依托书生大模型成功破解困扰数学界 30 年的世界级难题

中国在人工智能与基础科学交叉领域取得重大突破。根据上海人工智能实验室消息，困扰全球数学界长达30余年的世界级数学难题——三维 Ghys 猜想近日被正式破解。这也是中国科学家首次利用国产大模型成功攻克世界级数学难题。

本次研究由上海人工智能实验室访问学者、大湾区大学教授许地生团队领衔。研究团队依托“书生科学多模态大模型 S2”（书生-S2），基于“通专融合”的技术路径，通过人机协同的方式最终完成了三维 Ghys 猜想的证明。与此同时，北京大学董彬教授、刘若川院士团队利用其自主开发的 SHEAF 框架，对本次证明过程完成了形式化验证，从而确凿无误地证实了该项研究成果的正确性。

作为数学动力系统领域的重要长期公开问题，三维 Ghys 猜想由法国数学家艾蒂安·吉斯（Étienne Ghys）于1995年提出。该猜想指出，每一个紧致复流形上的全纯 Anosov 系统，都双全纯共轭于某个复 infra-幂零流形上的全纯仿射自同构。由于该问题兼具极高的理论难度与学科标志性价值，长期以来被数学界公认为检验人工智能与人类数学推理能力的试金石。

此次中国科学家团队通过人机协同成功攻克该项难题，不仅展现了国产大模型在应对尖端科学计算与复杂逻辑推理方面的深厚潜力，也为未来人工智能深度赋能基础科学研究开辟了全新的实践路径。