shanghai-ai-lab

上海AI实验室的Shusheng-S2模型与数学家合作，给出了混沌理论中Ghys猜想三维情形的机器验证证明，论文已作为预印本发布于arXiv并通过Lean形式化检查。

上海人工智能实验室通过其书生·端言平台提供最高5亿免费 Tokens，包括对自家模型（书生-S2、Atria-Dawn-Preview、Agents-A1）的零成本调用，以及对 DeepSeek-V4、GLM-5.3 等第三方模型的访问，兼容 OpenAI 和 Anthropic 协议。

上海AI实验室发布了Intern Decision，这是一系列基于Qwen3.5、采用Apache 2.0许可的小型多模态模型（0.8B、2B、4B），专为结构化决策场景设计。

上海人工智能实验室发布 Intern S2，一个35B的科学多模态模型，在科学基准上与其自身1T模型表现相当，引入了Task Scaling作为新的扩展维度。采用Apache 2.0许可证。