上海AI实验室“书生-S2”大模型进入前沿数学研究流程：助力三维Ghys猜想证明并通过形式化验证

📋总体概括

上海AI实验室访问学者、大湾区大学教授许地生团队依托书生科学多模态大模型S2，以「通专融合」路径和人机协同方式完成三维Ghys猜想的证明；北大董彬、刘若川院士团队用自研SHEAF框架对该证明完成形式化验证。Ghys猜想由法国数学家Étienne Ghys于1995年提出，是动力系统领域公认的长期公开难题。论文已上arXiv，形式化代码在Github公开，业内称这是中国科学家首次用中国大模型攻克世界级数学难题。