中国科学家首次用中国大模型攻克三维 Ghys 猜想

上海人工智能实验室许地生团队依托书生-S2 多模态大模型，通过人机协同完成了困扰数学界 30 余年的三维 Ghys 猜想证明，北京大学刘若川团队利用 SHEAF 框架完成了形式化验证。相关论文已在 arXiv 发布，形式化代码已在 GitHub 公开。上海人工智能实验室表示该研究验证了一种将专家直觉接入机器求解回路的新型科研范式，后续将沉淀能力封装至端砚平台并扩展至其他学科。