Intern-S2 是上海人工智能实验室（书生·InternLM）推出的大型推理模型，被视为书生大模型体系在数学与科学推理方向上的旗舰版本。它的定位不只是通用对话模型，而是面向科研场景、可与数学家协作完成严格证明的 AI 工具，近期因参与数学猜想的证明工作而受到关注。
Intern-S2 近期进展
当前焦点与观察点
围绕 Intern-S2 的讨论主要有两条线。一是能力层面：参与 Ghys 猜想等严谨数学工作并经 Lean 验证，让它在"AI 辅助数学研究"的赛道上获得实证背书，SHEAF 等形式化工具的适配也被视为加分项。二是来源层面：若基于 Qwen 系列后训练的爆料属实，则说明国内实验室通过开源基座加领域后训练快速推出高能力模型的路径正在成为常态，但也会引发关于模型归属与宣传口径的争议。
后续值得关注的是官方对基座来源的回应、更多经过形式化验证的科研成果能否持续产出，以及 Intern-S2 在通用任务与专业数学任务之间的表现是否均衡。