PutnamBench - Lean 4, Answer Supplied (10 H20 days per problem): leaderboard
Number of Putnam competition problems reported solved in Lean 4, with numerical answers supplied in the theorem statement where required. The source reports compute budget '10 H20 days per problem'. Higher is better; counts stay separate from other languages, answer conditions and budgets. Reported corpus revision: 6df1d4c. Reported Lean version(s): 4.22.
Metric: Problems solved; Lean 4, Answer Supplied; reported compute budget: 10 H20 days per problem. Source: github.com. 1 models tracked.
Top models
| # | Model | Score | Overall rank |
|---|---|---|---|
| 1 | Seed-Prover 1.5 (ByteDance) | 581 |
Interactive version: theaggregate.ai/benchmark?slug=putnambench-lean-4-answer-supplied-10-h20-days-per-problem · How It Works · Data refreshed daily, snapshot 2026-10-16.