中国团队用书生S2完成三维Ghys猜想证明

上海人工智能实验室许地生团队宣布，依托书生科学多模态大模型 S2，通过人机协同完成了困扰数学界 30 余年的三维 Ghys 猜想证明。 北京大学董彬、刘若川团队随后用 SHEAF 框架对该证明完成形式化验证。团队称，这是人机协同与形式化验证结合的一次尝试。

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

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