字节跳动发布 Seed Prover1.5:推动形式化数学推理的新进展
近日，字节跳动 Seed 团队推出了其最新的形式化数学推理模型 Seed Prover1.5，标志着在数学推理领域的一次重要突破。此次模型的推出，得益于对大规模 Agentic 强化学习的深入探索，使...
排序
字节 Seed 新模型问世：数学竞赛金牌实力爆表，AI 推理迈入新阶段！
近日，字节跳动旗下的 Seed AI 团队发布了一款名为 Seed Prover1.5的数学推理模型，该模型在国际数学奥林匹克（IMO）比赛中表现卓越，成功获得金牌，标志着人工智能在数学领域的又一突破...