公司动态 - 字节跳动Seed团队于12月24日宣布推出新一代形式化数学推理专用模型Seed Prover1.5 [1] - 该模型通过大规模的Agentic RL训练，其推理能力和推理效率宣称取得显著进步 [1] - Seed Prover1.5的技术报告已对外公开，后续将开放API [1] 产品与技术 - 公司推出的是形式化数学推理专用模型，属于人工智能在特定垂直领域的应用 [1] - 模型训练采用了Agentic RL（强化学习）方法，表明公司在AI训练技术路径上的探索 [1] - 模型迭代至1.5版本，表明该产品线处于持续开发和优化阶段 [1]