热点事件持续更新
中国团队利用大模型证明三维Ghys猜想
1 篇报道1 个报道来源2 小时前更新
先了解这件事
SI 综述
上海人工智能实验室团队依托书生-S2多模态大模型通过人机协同完成三维Ghys猜想证明，北京大学团队用SHEAF框架形式化验证该证明，论文发于arXiv、代码在GitHub公开。 三维Ghys猜想此前困扰数学界30余年。 上海人工智能实验室团队计划将推理能力封装为端砚平台复用模块。
SI 根据报道生成 · 1 小时前更新
最新进展10月15日 11:23
上海AI实验室团队用书生-S2证明三维Ghys猜想，北大验证并公开论文代码。报道时间线
沿着报道，了解事件的不同侧面。
10月15日
- IT之家中国科学家首次用书生-S2大模型攻克三维Ghys猜想，曾困扰学界30余年
上海人工智能实验室团队依托书生-S2多模态大模型通过人机协同完成三维Ghys猜想证明，破解困扰数学界30余年的难题。北京大学团队用SHEAF框架形式化验证该证明，论文发于arXiv，代码在GitHub公开。团队计划将推理能力封装为端砚平台复用模块，形成自进化飞轮。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。