字节跳动发布新一代形式化数学推理专用模型 Seed Prover 1.5 相比上一代模型，Seed Prover 1.5 在 16.5 小时内，针对 IMO 2025 的前 5 道题目生成了完整可编译验证的 Lean 证明代码，换算成绩为 35/42，达到此前 IMO 评分... AI 新资讯行业资讯# Seed Prover 1.5# 字节跳动# 数学推理模型 22小时前877801
