IT之家·2026-10-15 11:23· 4 天前AI 评分51

中国科学家团队借助书生-S2完成人机协同证明三维 Ghys 猜想

中国科学家首次用中国大模型攻克世界级数学难题，曾困扰学界 30 余年

AI 导读

许地生团队依托书生科学多模态大模型 S2，通过人机协同完成了三维 Ghys 猜想证明，北京大学董彬教授、刘若川院士团队使用 SHEAF 框架对证明进行形式化验证。

来源：IT之家 · ithome.com