中国科学家首次用国产大模型攻克三维Ghys猜想
发生了什么
据IT之家报道，上海人工智能实验室许地生团队依托书生科学多模态大模型S2，通过人机协同完成了困扰学界30余年的三维Ghys猜想证明。北京大学董彬教授、刘若川院士团队利用SHEAF框架完成形式化验证，确认工作正确性。
报道与来源
1 篇发布方数量不等于独立核验数量。同稿的多个入口保留在对应报道中。
来源关系与证据边界
按已记录的来源角色展示；连线仅表示原生身份流程确认的同稿入口，不表示独立佐证或跨报道引用。
- 来源报道1 个发布入口
据IT之家报道，上海人工智能实验室许地生团队依托书生科学多模态大模型S2，通过人机协同完成了困扰学界30余年的三维Ghys猜想证明。北京大学董彬教授、刘若川院士团队利用SHEAF框架完成形式化验证，确认工作正确性。
发布方数量不等于独立核验数量。同稿的多个入口保留在对应报道中。
按已记录的来源角色展示；连线仅表示原生身份流程确认的同稿入口，不表示独立佐证或跨报道引用。