PutnamBench - Lean 4, Answer Supplied (Avg $5.8 total cost/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 'Avg $5.8 total cost/problem'. Higher is better; counts stay separate from other languages, answer conditions and budgets. Reported corpus revision: 9bc55b5. Reported Lean version(s): 4.26.0. Reported temperature: 1.0.
Metric: Problems solved; Lean 4, Answer Supplied; reported compute budget: Avg $5.8 total cost/problem. Source: github.com. 1 models tracked.
Top models
| # | Model | Score | Overall rank |
|---|---|---|---|
| 1 | Goedel-Architect | 642 |
Interactive version: theaggregate.ai/benchmark?slug=putnambench-lean-4-answer-supplied-avg-5-8-total-cost-problem · How It Works · Data refreshed daily, snapshot 2026-10-16.