热点事件持续更新
书生S2大模型助力证明三维Ghys猜想
1 篇报道1 个报道来源2 小时前更新
先了解这件事
AI 综述
2026年10月15日，IT之家报道，上海人工智能实验室称，许地生团队依托其书生科学多模态大模型S2（书生-S2），通过人机协同完成了困扰学界30余年的三维Ghys猜想证明。北京大学董彬、刘若川团队使用SHEAF框架对该证明完成了形式化验证。相关论文已发布于arXiv，形式化代码公开在GitHub平台（https://github.com/frenzymath/HolomorphicAnosov）。
AI 根据报道生成 · 2 小时前更新
最新进展10月15日 11:23
论文已发布于arXiv，形式化验证代码在GitHub公开。报道时间线
沿着报道，了解事件的不同侧面。
10月15日
- IT之家上海人工智能实验室书生-S2 协助团队证明三维 Ghys 猜想
上海人工智能实验室称，许地生团队依托书生科学多模态大模型 S2（书生-S2），通过人机协同完成困扰学界 30 余年的三维 Ghys 猜想证明。北京大学董彬、刘若川团队用 SHEAF 框架完成形式化验证，相关论文已发布于 arXiv，形式化代码公开在 https://github.com/frenzymath/HolomorphicAnosov。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。