上海AI实验室称用书生S2破解三维吉斯猜想

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

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。