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

DeepSeek推出新型数学推理模型DeepSeekMath-V2，采用可自我验证的训练框架，通过LLM验证器审查数学证明，并持续优化性能。...