字节跳动Seed团队宣布推出形式化数学推理专用模型SeedProver1.5,面向国际数学奥林匹克(IMO)赛事场景。该模型在16.5小时内生成IMO2025前5题完整Lean证明,得分35/42,达金牌分数线。团队同步发布技术报告,披露模型架构、训练数据与验证流程,并计划近期开放API接口,邀请全球数学与人工智能研究者测试体验。(ta/u)