Base44 Superagents-AI agent that does it all
Mini toolsSeed Prover 1.5
By ByteDance
Seed-Prover 1.5 is a specialized formal math model that interacts with Lean and tools in a reinforcement-learning loop, accumulating experience to improve proof search. It reaches 88 percent on PutnamBench, 80 percent on Fate-H and 33 percent on Fate-X, and produced verified Lean proofs for 11 of 12 Putnam 2025 problems, showing that experience-driven scaling can push formal reasoning into advanced university and early research territory.
New
Text
Gen 7
Overview
Seed-Prover 1.5 is ByteDance Seed’s formal theorem-proving model for Lean, trained with agentic RL and test-time scaling to solve most undergraduate and many graduate-level competition problems.
About ByteDance
ByteDance is a multinational technology company known for its content platforms, including TikTok and Douyin.
View Company ProfileTools using Seed Prover 1.5
No tools found for this model yet.
Last updated: February 25, 2026
