中国大模型首破世界级数学难题，S2模型协同人类攻克三维Ghys猜想

【科技纵览】10月15日，上海人工智能实验室发布重磅消息：困扰数学界三十余年的“三维Ghys猜想”被正式破解。这一里程碑式的成果，由该实验室访问学者、大湾区大学教授许地生团队主导完成。他们依托书生科学多模态大模型S2（书生-S2），凭借“通专融合”的技术路径，通过人机深度协同模式，成功完成了对该猜想的证明工作。为确保严谨性，北京大学董彬教授与刘若川院士团队随即介入，利用其自主研发的SHEAF框架对证明过程进行了形式化验证，结果确认无误。此举标志着中国科学家首次借助国产大模型攻克世界级数学难题，相关论文已上传至arXiv预印本平台，形式化代码亦在GitHub开源。

回顾历史，该猜想由法国数学家艾蒂安·吉斯于1995年提出，涉及紧致复流形上的全纯Anosov系统与复infra-幂零流形的关系。它不仅是动力系统领域的长期公开难题，更是检验数学推理能力的试金石。此前，为提升国产大模型数学推理能力，中国数学会中学数学竞赛委员会曾在CMO中首设AI测试。书生-S1以102分的高分远超78分的金牌线，位列参评大模型之首。

此次突破的意义远超解题本身，它验证了一种全新的科研范式：将专家直觉系统性接入机器求解回路，形成“系统探索—专家判断—成果积累—反馈修正”的闭环。这种模式可复制至其他“搜索空间巨大而专家稀缺”的基础研究领域。未来，团队计划将此能力封装为书生·端砚科学发现平台的复用模块，并以此为契机，推动推理能力向其他学科扩展，构建“突破—封装—复用—再突破”的自进化飞轮，加速原始创新进程。