书生-S2
上海人工智能实验室研发的科学多模态大模型，具备大规模递归推理与人机交互能力，面向数学等前沿科学研究场景，支持长程严谨推理。
时间轴 (近 90 天)
许地生团队依托书生科学多模态大模型S2（书生-S2），通过人机协同完成了三维Ghys猜想的证明。
2026年8月，内部迭代成型的书生-S2及配套系统具备大规模递归推理能力和高灵活性人机交互能力，首轮推理即产出400页推导报告。
科研团队坚持通专融合技术路线，突破了异步长程推理强化学习训练方法，解决误差指数级累积、长期状态维护、自我纠错等难题，并研发了将Harness能力反向蒸馏回模型的自进化算法。
在IMO-Proof、AdvancedMathBench等基准上，书生-S2整体领先现有开源模型，并在部分指标上超越Gemini 3.1 Pro等顶尖闭源模型。
攻关过程中，书生-S2先后完成7批接续推演，问题图从15个节点扩展到389个，输出总量达上千页的严密推导，同时生成数十种全新论证思路。
全部知识事实 (5)
2026年8月，内部迭代成型的书生-S2及配套系统具备大规模递归推理能力和高灵活性人机交互能力，首轮推理即产出400页推导报告。
50%待验证科研团队坚持通专融合技术路线，突破了异步长程推理强化学习训练方法，解决误差指数级累积、长期状态维护、自我纠错等难题，并研发了将Harness能力反向蒸馏回模型的自进化算法。
50%待验证在IMO-Proof、AdvancedMathBench等基准上，书生-S2整体领先现有开源模型，并在部分指标上超越Gemini 3.1 Pro等顶尖闭源模型。
50%待验证许地生团队依托书生科学多模态大模型S2（书生-S2），通过人机协同完成了三维Ghys猜想的证明。
50%待验证攻关过程中，书生-S2先后完成7批接续推演，问题图从15个节点扩展到389个，输出总量达上千页的严密推导，同时生成数十种全新论证思路。
50%