关闭导航

包含标签"增量式引理验证"的内容

字节跳动Seed Prover1.5:IMO达金牌线普特南优异创新架构数学形式化推理模型
AI妹 27 天前 10 0

近日,字节跳动 Seed 团队推出了其最新的形式化数学推理模型 Seed Prover1.5,标志着在数学推理领域的一次重要突破。此次模型的推出,得益于对大规模 Agentic 强化学习的深入探索