Theorem Proving on MO-INT
17Solved ProblemsDreamProver
Evaluation results
| Method | Links | ||
|---|---|---|---|
| DreamProverMethod Category=Lemma Learning System, Backbone=Gemini 3.1 Pro2026.04 | 17 | 85 | |
| DreamProverMethod Category=Lemma Learning System, Backbone=GPT-5.3-Codex2026.04 | 16 | 80 | |
| Gemini 3.1 ProMethod Category=Proprietary LLMs2026.04 | 15 | 75 | |
| DreamProverMethod Category=Lemma Learning System, Backbone=Gemini 2.5 Pro2026.04 | 14 | 70 | |
| HilbertMethod Category=Agentic System, Backbone=Gemini 3.1 Pro2026.04 | 13 | 65 | |
| HilbertMethod Category=Agentic System, Backbone=GPT-5.3-Codex2026.04 | 12 | 60 | |
| HilbertMethod Category=Agentic System, Backbone=Gemini 2.5 Pro2026.04 | 12 | 60 | |
| Goedel-Prover-V2-32BMethod Category=Open-source LLMs2026.04 | 10 | 50 | |
| GPT-5.3-CodexMethod Category=Proprietary LLMs2026.04 | 8 | 40 | |
| Claude 4.6 OpusMethod Category=Proprietary LLMs2026.04 | 6 | 30 | |
| Goedel-Prover-V2-8BMethod Category=Open-source LLMs2026.04 | 4 | 20 | |
| DeepSeek-Prover-V2-7BMethod Category=Open-source LLMs2026.04 | 3 | 15 | |
| Gemini 2.5 ProMethod Category=Proprietary LLMs2026.04 | 1 | 5 |