北京
10月19日，据“大湾区大学”官方消息，困扰数学界30余年的三维Ghys猜想宣告破解。大湾区大学许地生教授团队与上海人工智能实验室合作，借助书生科学多模态大模型S2，通过人机协同完成证明。北京大学董彬教授、刘若川院士团队利用自研SHEAF框架完成形式化验证。这是中国科学家首次用中国大模型攻克世界级数学难题。
Ghys猜想由法国数学家Étienne Ghys于1995年提出，是复动力系统领域的重要问题。许地生曾与其导师、菲尔兹奖得主Artur Avila研究过三维情形，未形成有效证明思路。2026年初，团队与上海AI实验室启动合作。7月底，许地生发现模型能力出现质变，将猜想喂给AI。首轮推理，书生-S2就产出了400页推导报告。随后团队持续给模型反馈、校准方向，书生-S2先后完成7批接续推演，问题图从15个节点扩展到389个，输出总量达千页。
论文9月29日上传arXiv后，北大团队用Lean 4定理证明系统和SHEAF框架进行形式化验证。约5天时间，峰值100个智能体并行，生成约55万行Lean代码，论文四个主要定理全部通过验证。形式化代码已在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.
