Theorem Proving on PutnamBench Number Theory
19Solved ProblemsDreamProver
Evaluation results
| Method | Links | ||
|---|---|---|---|
| DreamProverMethod Category=Lemma Learning System, Backbone=Gemini 3.1 Pro2026.04 | 19 | 28.8 | |
| DreamProverMethod Category=Lemma Learning System, Backbone=GPT-5.3-Codex2026.04 | 16 | 24.2 | |
| DreamProverMethod Category=Lemma Learning System, Backbone=Gemini 2.5 Pro2026.04 | 16 | 24.2 | |
| HilbertMethod Category=Agentic System, Backbone=Gemini 3.1 Pro2026.04 | 8 | 12.1 | |
| HilbertMethod Category=Agentic System, Backbone=Gemini 2.5 Pro2026.04 | 7 | 10.6 | |
| Gemini 3.1 ProMethod Category=Proprietary LLMs2026.04 | 4 | 6.1 | |
| Goedel-Prover-V2-32BMethod Category=Open-source LLMs2026.04 | 4 | 6.1 | |
| GPT-5.3-CodexMethod Category=Proprietary LLMs2026.04 | 3 | 4.5 | |
| HilbertMethod Category=Agentic System, Backbone=GPT-5.3-Codex2026.04 | 3 | 4.5 | |
| Claude 4.6 OpusMethod Category=Proprietary LLMs2026.04 | 0 | 0 | |
| Gemini 2.5 ProMethod Category=Proprietary LLMs2026.04 | 0 | 0 | |
| DeepSeek-Prover-V2-7BMethod Category=Open-source LLMs2026.04 | 0 | 0 | |
| Goedel-Prover-V2-8BMethod Category=Open-source LLMs2026.04 | 0 | 0 |