AITOPAI热报

Intern-S2

general · First seen 2026-10-15 · Last seen 2026-10-16 · 7 mentions

Overview

Intern-S2 是上海人工智能实验室（书生·InternLM）推出的大型推理模型，被视为书生大模型体系在数学与科学推理方向上的旗舰版本。它的定位不只是通用对话模型，而是面向科研场景、可与数学家协作完成严格证明的 AI 工具，近期因参与数学猜想的证明工作而受到关注。

Intern-S2 近期进展

  • Intern-S2 与数学家合作解决复三维 Ghys 猜想：官方披露，数学家借助 Intern-S2 完成了复三维 Ghys 猜想的证明，这是人机协作研究的一次标志性案例。
  • Mathematicians Use Shanghai AI Lab's Intern-S2 to Prove 3D Ghys Conjecture, Verified in Lean：pandaily 报道称，该证明已通过 Lean 定理证明器完成形式化验证，说明结果达到了可机器检验的严格性，而非仅是自然语言层面的论证。
  • Intern-S2 协助完成数学论文，北大团队用 SHEAF 形式化四条定理：除 Ghys 猜想外，北京大学团队也在 Intern-S2 协助下完成论文，并用 SHEAF 形式化了其中四条定理，显示出模型在多种形式化框架下的适用性。
  • 爆料：Intern-S2 疑似基于 Qwen 3.5-397B-A17B 后训练而来：有社区爆料称 Intern-S2 可能是在 Qwen 3.5-397B-A17B 基础上做后训练得到的，即总参数约 397B、每 token 激活约 17B 的 MoE 架构。该说法尚未得到官方确认。

    • 当前焦点与观察点

    围绕 Intern-S2 的讨论主要有两条线。一是能力层面：参与 Ghys 猜想等严谨数学工作并经 Lean 验证，让它在"AI 辅助数学研究"的赛道上获得实证背书，SHEAF 等形式化工具的适配也被视为加分项。二是来源层面：若基于 Qwen 系列后训练的爆料属实，则说明国内实验室通过开源基座加领域后训练快速推出高能力模型的路径正在成为常态，但也会引发关于模型归属与宣传口径的争议。

    后续值得关注的是官方对基座来源的回应、更多经过形式化验证的科研成果能否持续产出，以及 Intern-S2 在通用任务与专业数学任务之间的表现是否均衡。

    Coverage

    4 on file