热点事件历史事件

上海AI实验室用书生-S2大模型攻克三维Ghys猜想

1 篇报道1 个报道来源4 天前更新

先了解这件事

AI 综述

上海人工智能实验室团队利用书生科学多模态大模型 S2（书生-S2），通过人机协同完成了困扰数学界 30 余年的三维 Ghys 猜想证明。北京大学董彬教授、刘若川院士团队随后利用 SHEAF 框架对该证明进行了形式化验证，确认其正确性。

AI 根据报道生成 · 4 天前更新

最新进展10月15日 11:23

沿着报道，了解事件的不同侧面。

10月15日

11:23
IT之家精选
上海人工智能实验室利用书生-S2大模型攻克三维Ghys猜想
上海人工智能实验室团队依托书生科学多模态大模型 S2（书生-S2），通过人机协同完成了困扰数学界 30 余年的三维 Ghys 猜想证明。北京大学董彬教授、刘若川院士团队利用 SHEAF 框架对证明进行了形式化验证，确认其正确性。

趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。