北京
IT时代网10月15日消息，上海人工智能实验室访问学者、大湾区大学教授许地生近日宣布，其团队依托书生科学多模态大模型S2（书生-S2），基于“通专融合”技术路径，通过人机协同完成了三维Ghys猜想的证明。
中国科学院院士刘若川、北京大学教授董彬团队利用其开发的SHEAF框架对本次证明完成形式化验证，验证了这一工作的正确性。据介绍，这是中国科学家首次使用中国大模型攻克世界级数学难题。
Ghys猜想由法国数学家艾蒂安·吉斯（Étienne Ghys）于1995年提出，猜测每一个紧致复流形上的全纯Anosov系统，都双全纯共轭于某个复infra-幂零流形上的全纯仿射自同构。该问题是复动力系统领域的重要难题，兼具理论难度与学科标志性价值，被动力系统领域数学专家公认为该领域最重要的长期公开问题之一。如果这一猜想成立，混乱的动力学轨迹问题就能被“化归”成简洁、规整的标准代数模型。
据介绍，在AI给出的首轮探索基础上，许地生与其学生张洁松敏锐抓住关键突破口，持续给模型反馈、校准探索方向，引导模型向有价值的思路深耕。攻关过程中，书生-S2先后完成7批接续推演，问题图从15个节点扩展到389个，输出总量达上千页的严密推导，同时生成数十种全新论证思路，最终成功助力团队破解这一世界级数学难题。
相关论文已在预印本平台arXiv发布，其形式化代码也在Github平台公开。
注：本文配图由AI生成，文中包含AI辅助创作的内容。
编辑：林一舟
特别声明：以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布，本平台仅提供信息存储服务。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.
