热点事件持续更新

团队借助大模型完成人机协同证明三维 Ghys 猜想

1 篇报道1 个报道来源5 小时前更新

先了解这件事

AI 综述

许地生团队借助书生科学多模态大模型 S2，通过人机协同完成三维 Ghys 猜想证明；北京大学董彬、刘若川团队随后使用 SHEAF 框架对证明进行了形式化验证。相关论文已发布于 arXiv，形式化代码已在 GitHub 公开。上海人工智能实验室称，团队计划将数学验证模块封装进书生·端砚科学发现平台，供后续研究调用。

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

最新进展10月15日 11:23

中国科学家团队借助书生科学多模态大模型 S2 证明三维 Ghys 猜想

报道时间线

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

10月15日

11:23
IT之家
中国科学家团队借助书生科学多模态大模型 S2 证明三维 Ghys 猜想
许地生团队依托书生科学多模态大模型 S2，通过人机协同完成了三维 Ghys 猜想证明。北京大学董彬、刘若川团队使用 SHEAF 框架对证明进行形式化验证；相关论文已发布于 arXiv，形式化代码已在 GitHub 公开。上海人工智能实验室称，团队计划将数学验证模块封装进书生·端砚科学发现平台，供后续研究调用。

本事件热度走势

可比范围当前: 9
可比范围峰值: 910月15日 14:00
近 24 小时变化: –

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