Seed-Prover 1.5 用 agentic RL + test-time scaling 把 Lean proving 推到本科、研究生乃至博士级 benchmark

Seed-Prover 1.5 通过大规模 agentic reinforcement learning 与 tool interaction 积累 formal proving experience，并配套 test-time scaling workflow，把自然语言 reasoning 与 Lean proof generation 连接起来。论文报告 PutnamBench 88%、Fate-H 80%、Fate-X 33%，并在 9 小时内解决 2025 Putnam 12 题中的 11 题。