字节跳动Seed团队推出新一代形式化数学推理专用模型Seed Prover 1.5，通过大规模训练后，其推理能力和效率取得显著进步。该模型在16.5小时内针对IMO 2025的前5道题目生成了完整可编译验证的Lean证明代码，换算成绩达到金牌分数线。...