中国科学家首次用中国大模型攻克世界级数学难题

近日，上海人工智能实验室联合大湾区大学教授许地生团队，依托书生科学多模态大模型S2，成功破解困扰数学界三十余年的三维Ghys猜想。该团队采用通专融合技术路径与人机协同模式展开攻关。模型凭借大规模递归推理能力，在多轮深度交互中输出逾千页推导报告；研究团队则把握学术方向、校准探索路径，构建起人机互补的闭环验证机制。北京大学董彬教授与刘若川院士团队利用自研SHEAF框架，历时五日完成全部核心定理的Lean形式化检验，确保论证逻辑严谨无误。此项突破标志着中国科学家首次以国产大模型攻克世界级数学难题。相关论文与代码已在全球预印本平台及开源社区发布。该成果不仅证实了人工智能在复杂数学推理领域的尖端实力，更验证了AI重塑基础科研范式的可行性，为未来大模型赋能原始科学创新奠定了技术基石。