上海AI实验室用S2模型攻克三维Ghys猜想
热点事件持续更新
上海AI实验室用S2模型攻克三维Ghys猜想
1 篇报道1 个报道来源5 小时前更新
先了解这件事
AI 综述
上海人工智能实验室宣布，许地生团队依托书生科学多模态大模型 S2，通过人机协同完成困扰数学界 30 余年的三维 Ghys 猜想证明。北京大学董彬、刘若川院士团队用 SHEAF 框架完成形式化验证，论文已发布于 arXiv，形式化代码在 GitHub 开源。 上海人工智能实验室称，这一范式可推广至其他搜索空间大而专家稀缺的基础研究领域。
AI 根据报道生成 · 1 小时前更新
最新进展10月15日 11:23
上海人工智能实验室团队用书生 S2 大模型完成三维 Ghys 猜想证明报道时间线
沿着报道，了解事件的不同侧面。
10月15日
- IT之家·人工智能上海人工智能实验室团队用书生 S2 大模型完成三维 Ghys 猜想证明
上海人工智能实验室发文宣布，许地生团队依托书生科学多模态大模型 S2，通过人机协同完成困扰数学界 30 余年的三维 Ghys 猜想证明。北京大学董彬、刘若川院士团队用 SHEAF 框架完成形式化验证，论文已发布于 arXiv，形式化代码开源在 GitHub。上海人工智能实验室表示该范式可推广至其他搜索空间大而专家稀缺的基础研究领域。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。