AI资讯
书生S2与数学家助力攻克三维Ghys猜想
上海AI实验室书生S2多模态大模型与数学家协作，首证三维Ghys猜想，并在北大SHEAF框架下完成形式化验证，标志中国大模型助力世界级数学难题的里程碑，展示通用+专业融合训练、人机协同递归推演与机器核验闭环。
上海AI实验室书生S2多模态大模型与数学家协作，首证三维Ghys猜想，并在北大SHEAF框架下完成形式化验证，标志中国大模型助力世界级数学难题的里程碑，展示通用+专业融合训练、人机协同递归推演与机器核验闭环。