中国团队用书生S2人机协同证明三维Ghys猜想
热点事件持续更新
中国团队用书生S2人机协同证明三维Ghys猜想
1 篇报道1 个报道来源12 小时前更新
先了解这件事
AI 综述
上海人工智能实验室访问学者、大湾区大学教授许地生团队依托书生科学多模态大模型 S2，通过人机协同完成了三维 Ghys 猜想的证明。该猜想由法国数学家 Étienne Ghys 于 1995 年提出，困扰数学界 30 余年。 相关论文已在预印本平台 arXiv 发布，其形式化代码也在 Github 平台公开。
AI 根据报道生成 · 10 小时前更新
最新进展10月15日 11:23
中国科学家首次用中国大模型攻克世界级数学难题，曾困扰学界 30 余年报道时间线
沿着报道，了解事件的不同侧面。
10月15日
- IT之家 · 人工智能中国科学家首次用中国大模型攻克世界级数学难题，曾困扰学界 30 余年
上海人工智能实验室访问学者、大湾区大学教授许地生团队依托书生科学多模态大模型 S2（书生-S2），通过人机协同完成三维 Ghys 猜想证明，该猜想由法国数学家 Étienne Ghys 于 1995 年提出，困扰数学界 30 余年。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。