上海人工智能实验室团队宣布用大模型完成三维Ghys猜想证明

上海人工智能实验室与大湾区大学团队依托书生科学多模态大模型S2，通过人机协同证明了困扰数学界30余年的三维Ghys猜想，相关论文已发布于arXiv，形式化验证由北大董彬、刘若川团队完成，使用SHEAF框架在Lean中验证全部四个主定理，过程生成约55万行代码。该研究采用通专融合训练策略，实现7批接续推演、389个节点的复杂推理，输出上千页推导，验证了AI在基础数学研究中的新范式。

上海人工智能实验室团队依托书生科学多模态大模型S2，通过人机协同完成三维Ghys猜想证明，该猜想困扰数学界30余年。北京大学团队利用SHEAF框架完成形式化验证，相关论文已发布于arXiv，代码开源于GitHub。该研究验证了‘系统探索—专家判断—成果积累—反馈修正’的科研新范式，后续将封装为端砚科学发现平台的数学验证模块，扩展至其他学科。