字节发布 Seed Prover 1.5：全新 Agentic 架构，更强数学推理表现 字节跳动Seed团队推出新一代形式化数学推理专用模型SeedProver1.5，通过大规模的AgenticRL训练，其推理能力和推理效率取得显著进步。相比上一代模型，SeedProver1.5在16.... 奈飞网 2025-12-24 1 #数学 #seed #推理
