中国团队用书生-S2人机协同证明三维Ghys猜想

上海人工智能实验室访问学者、大湾区大学教授许地生团队依托书生科学多模态大模型S2，通过人机协同完成了困扰数学界30余年的三维Ghys猜想证明。相关论文已在arXiv发布，形式化代码在GitHub公开。 北京大学董彬教授、刘若川院士团队完成了论文全部四个主定理的形式化验证，证明已通过Lean检验。据披露，整个过程约5天，峰值并发达100个智能体，产出约55万行Lean代码，专家确认形式化陈述与论文主定理语义一致。

AI 根据报道生成 · 42 分钟前更新

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