许地生团队证明三维Ghys猜想并完成形式化验证
热点事件持续更新
许地生团队证明三维Ghys猜想并完成形式化验证
1 篇报道1 个报道来源3 小时前更新
先了解这件事
AI 综述
许地生团队借助书生-S2并通过人机协同完成三维Ghys猜想证明；北京大学团队用SHEAF框架对论文四个主定理完成形式化验证，证明通过Lean检验，论文已发布在arXiv。 据报道，书生-S2分7批接续推演，问题图从15个节点扩展到389个。
AI 根据报道生成 · 2 小时前更新
最新进展10月15日 12:02
书生-S2助力团队证明三维Ghys猜想，北大团队完成形式化验证报道时间线
沿着报道，了解事件的不同侧面。
10月15日
- 钛媒体精选书生-S2助力团队证明三维Ghys猜想，北大团队完成形式化验证
许地生团队依托书生科学多模态大模型S2（书生-S2）与人机协同，完成困扰数学界30余年的三维Ghys猜想证明，相关论文已发布在arXiv。书生-S2先后完成7批接续推演，问题图从15个节点扩展到389个；北京大学团队使用SHEAF框架，对论文全部四个主定理完成形式化验证，证明通过Lean检验。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。