12月24日，字节跳动Seed团队宣布推出新一代形式化数学推理专用模型Seed Prover1.5，通过大规模的 Agentic RL训练，其推理能力和推理效率宣称取得显著进步。据悉，Seed Prover1.5的技术报告已对外公 开，后续将开放API。(字节跳动seed) ...