Seed Prover 1.5是字节跳动Seed团队研发的新一代形式化数学推理模型，该模型创新性采用Agentic Prover架构，依托大规模强化学习（Agentic RL）完成训练，实现数学推理能力与效率的双重跃升。

Ouro是字节跳动Seed团队联合多家机构研发的循环语言模型，其名称源自象征循环与自迭代的“衔尾蛇”。该模型突破传统语言模型“预训练+微调”的能力构建范式，通过在潜在空间的迭代计算，将推理能力直接融入预训练阶段。