【中国大模型攻克世界级数学难题！】近日，上海AI实验室访问学者、大湾区大学许地生团队依托“书生-S2”大模型，通过人机协同成功证明复动力系统领域长期公开的“三维Ghys猜想”。随后，北京大学董彬、刘若川院士团队利用SHEAF框架，仅用5天产出约55万行代码完成形式化验证，确认了证明的正确性。这标志着中国科学家首次用国产大模型攻克世界级数学难题。该成果不仅展现了“书生-S2”强大的长程推理能力，更验证了“专家直觉+机器求解”的人机协同科研新范式，为基础科学突破提供了可复制的全新路径。目前相关论文及代码均已公开。