中国科学家用书生科学多模态大模型S2攻克三维Ghys猜想

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