热点事件持续更新
上海AI实验室用大模型证明三维Ghys猜想
1 篇报道1 个报道来源2 小时前更新
先了解这件事
AI 综述
2026年10月15日，钛媒体报道，上海人工智能实验室访问学者许地生团队依托书生科学多模态大模型S2，通过人机协同方式完成了三维Ghys猜想的证明。北京大学董彬、刘若川团队使用SHEAF框架对该证明完成了形式化验证。相关论文已在arXiv发布。报道未披露证明的具体细节、验证耗时及后续同行评议安排。
AI 根据报道生成 · 32 分钟前更新
最新进展10月15日 12:02
许地生团队用书生S2人机协同证明三维Ghys猜想，北大团队完成形式化验证。报道时间线
沿着报道，了解事件的不同侧面。
10月15日
- 钛媒体精选上海AI实验室团队用书生-S2 大模型证明三维 Ghys 猜想
上海人工智能实验室访问学者许地生团队依托书生科学多模态大模型 S2，通过人机协同完成三维 Ghys 猜想的证明，北京大学董彬、刘若川团队用 SHEAF 框架完成形式化验证，论文已在 arXiv 发布。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。