书生S2破解三维Ghys猜想 中国AI首次攻克世界级数学难题

中国科学家利用书生科学多模态大模型S2首次攻克三维Ghys猜想，这一困扰数学界30年的世界级难题。

研究由上海人工智能实验室许地生团队领衔，通过人机协同完成证明，北京大学团队用SHEAF框架完成形式化验证。

三维Ghys猜想由法国数学家1995年提出，涉及复流形上的全纯Anosov系统，被视为数学界的重要挑战。

此次突破展示了国产大模型在复杂逻辑推理和尖端科学计算方面的潜力，为AI赋能基础科学研究提供了新范式。

中国科学家首次利用国产大模型攻克世界级数学难题，标志着中国AI在基础科学领域的重要突破。