中国科学家利用国产大模型攻克三维Ghys猜想
热点事件持续更新
中国科学家利用国产大模型攻克三维Ghys猜想
1 篇报道1 个报道来源2 小时前更新
先了解这件事
AI 综述
上海人工智能实验室访问学者、大湾区大学教授许地生团队依托书生科学多模态大模型 S2，人机协同完成了困扰数学界 30 余年的三维 Ghys 猜想证明，北京大学董彬教授、刘若川院士团队利用 SHEAF 框架完成了形式化验证。相关论文已在 arXiv 发布，形式化代码已在 GitHub 开源。
AI 根据报道生成 · 2 小时前更新
最新进展10月15日 11:23
中国科学家首次使用国产大模型攻克数学难题三维 Ghys 猜想报道时间线
沿着报道，了解事件的不同侧面。
10月15日
- IT之家精选中国科学家首次使用国产大模型攻克数学难题三维 Ghys 猜想
上海人工智能实验室许地生团队依托书生科学多模态大模型 S2，人机协同完成了困扰数学界 30 余年的三维 Ghys 猜想证明，北京大学董彬教授、刘若川院士团队利用 SHEAF 框架完成了形式化验证。相关论文已在 arXiv 发布，形式化代码已在 GitHub 开源。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。