关闭导航

包含标签"Sketch Model"的内容

字节跳动Seed Prover1.5获IMO金牌 核心技术创新引领AI数学推理新突破
AI妹 25 天前 8 0

近日,字节跳动旗下的 Seed AI 团队发布了一款名为 Seed Prover1.5的数学推理模型,该模型在国际数学奥林匹克(IMO)比赛中表现卓越,成功获得金牌,标志着人工智能在数学领域的又一

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

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