国产大模型攻克世界级数学难题

近日，上海人工智能实验室（上海AI实验室）访问学者、大湾区大学教授许地生宣布，其团队依托书生科学多模态大模型S2（书生-S2），基于“通专融合”技术路径，通过人机协同完成了三维Ghys猜想证明。 中国科学院院士刘若川、北京大学教授董彬团队利用其开发的SHEAF框架对本次证明完成形式化验证，验证了这一工作的正确性。据介绍，这是中国科学家首次使用中国大模型攻克世界级数学难题。 “Ghys猜想”由法国数学家艾蒂安·吉斯（étienne Ghys）于1995年提出，猜测每一个紧致复流形上的全纯Anosov系统，都双全纯共轭于某个复infra-幂零流形上的全纯仿射自同构。这是复动力系统领域的一个重要难题。如果这一猜想成立，混乱的动力学轨迹的问题就能被“化归”成简洁、规整的标准代数模型。该问题兼具理论难度与学科标志性价值，被动力系统领域数学专家公认为该领域最重要的长期公开问题之一，是检验数学推理能力的一块试金石。 据介绍，在AI给出的首轮探索基础上，许地生与其学生张洁松敏锐抓住关键突破口，持续给模型反馈、校准探索方向，引导模型向有价值的思路深耕。攻关过程中，书生-S2先后完成7批接续推演，问题图从15个节点扩展到389个，输出总量达上千页的严密推导，同时生成数十种全新论证思路，最终成功助力团队破解这一世界级数学难题，得到该方向国际前沿学者“思考深度远超预期”的评价。 有意思的是，在论文上传预印本网站arXiv之前，北京大学北京国际数学研究中心教授谢俊逸也曾用GPT-6尝试挑战这道题，遗憾未能找到证明方案。 相关论文已在预印本平台（arXiv）发布，其形式化代码也在Github平台公开。