阅读
工具
关于
徐迪生团队报告称，通过人与 AI 协作，使用上海人工智能实验室的 Shusheng-S2 模型证明了三维 Ghys 猜想，并将预印本发布在 arXiv 上。研究人员指导了七轮递归探索，将正在研究的问题图从 15 个节点扩展到 389 个节点。 北京大学团队使用其 SHEAF 框架，将全部四个主要定理形式化。该工作约在五天内产出了约 550,000 行 Lean 代码，且这些形式化结果通过了 Lean 的检查。
AI 根据报道生成 · 2 天前更新
沿着报道，了解事件的不同侧面。
徐迪生团队在一项人机协作中使用了上海人工智能实验室的书生-S2 模型，证明了三维 Ghys 猜想，相关预印本已发布在 arXiv 上。研究人员指导了七轮递归探索，问题图的节点数从 15 个扩展到 389 个。北京大学团队使用其 SHEAF 框架，将全部四个主要定理形式化，在约五天内生成约 55 万行 Lean 代码，并通过了 Lean 检查。
趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。
