中国团队用大模型证明三维Ghys猜想
热点事件持续更新
中国团队用大模型证明三维Ghys猜想
2 篇报道2 个报道来源3 小时前更新
先了解这件事
AI 综述
2026年10月15日，上海人工智能实验室访问学者、大湾区大学教授许地生团队依托书生科学多模态大模型S2（书生-S2），基于“通专融合”技术路径，通过人机协同完成困扰数学界30余年的三维Ghys猜想证明。据IT之家报道，北京大学董彬、刘若川团队用其开发的SHEAF框架对本次证明完成形式化验证，确认正确性；相关论文已在arXiv发布，形式化代码在GitHub公开。团队称该研究验证了将专家直觉接入机器求解回路的新科研范式，后续将把数学验证模块封装进书生·端砚科学发现平台复用。钛媒体后续报道补充称，北京大学团队完成了论文全部四个主定理的形式化验证，证明已通过Lean检验，整个过程仅约5天，峰值并发达100个智能体，产出约55万行Lean代码，专家确认形式化陈述与论文主定理语义一致。
AI 根据报道生成 · 2 小时前更新
最新进展10月15日 12:02
上海AI实验室团队用书生科学多模态大模型S2证明三维Ghys猜想报道时间线
沿着报道，了解事件的不同侧面。
10月15日
- 钛媒体精选上海AI实验室团队用书生科学多模态大模型S2证明三维Ghys猜想
上海人工智能实验室访问学者许地生团队依托书生科学多模态大模型S2，通过人机协同完成困扰数学界30余年的三维Ghys猜想证明，北京大学董彬、刘若川团队用SHEAF框架完成形式化验证，确认其正确性。
- IT之家精选上海人工智能实验室用书生-S2 人机协同证明三维 Ghys 猜想
上海人工智能实验室访问学者许地生团队依托书生科学多模态大模型 S2，通过人机协同完成困扰数学界 30 余年的三维 Ghys 猜想证明，北京大学董彬、刘若川团队用 SHEAF 框架完成形式化验证。相关论文已发布在 arXiv，形式化代码在 GitHub 公开。团队称该研究验证了将专家直觉接入机器求解回路的新科研范式，后续将把数学验证模块封装进书生·端砚科学发现平台复用。
本事件热度走势
- 可比范围当前
- 18
- 可比范围峰值
- 1910月15日 13:00
- 近 24 小时变化
- –
05101520
13:0014:0015:00
趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。