搜索
字节推出形式化数学推理专用模型Seed Prover 1.5
3 天前
字节跳动Seed团队近日宣布，推出形式化数学推理专用模型Seed Prover 1.5。据介绍，相较于前代，Seed Prover 1.5在16.5小时内，成功为IMO 2025前5题生成了完整且可编译验证的Lean证明代码，按成绩换算为35/42，已达IMO金牌分数线。目前，Seed Prover 1.5的技术报告已公开，后续将开放API，供数学和AI研究者体验。
