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

上海人工智能实验室访问学者、大湾区大学教授许地生团队依托书生科学多模态大模型 S2，通过人机协同完成了三维 Ghys 猜想的证明。该猜想由法国数学家 Étienne Ghys 于 1995 年提出，已困扰数学界 30 余年。 北京大学董彬教授、刘若川院士团队用其开发的 SHEAF 框架对本次证明做了形式化验证，验证了这一工作的正确性。相关论文已在预印本平台 arXiv 发布，形式化代码在 Github 公开。 团队称，接下来将把本次研究跑通的能力闭环封装为书生·端砚科学发现平台可复用的数学验证模块，供后续科学问题研究直接调用。

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

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