上海人工智能实验室用书生科学多模态大模型 S2 破解三维吉斯猜想

上海人工智能实验室访问学者、大湾区大学教授许地生团队依托“书生”科学多模态大模型 S2，破解了世界级数学难题三维吉斯（Ghys）猜想。相关证明论文已在 arXiv 发表，形式化代码在 GitHub 公开，北京大学董彬教授、刘若川院士团队完成形式化验证。这是中国数学家首次用中国大模型攻克世界级数学难题。