Share your thoughts, 1 month free Claude Pro on usSee more

Theorem Proving on ProverBench Number Theory

25Solved Problems

DreamProver

Updated 1mo ago

Evaluation Results

Method	Links
DreamProver 2026.04		25	62.5
DreamProver 2026.04		25	62.5
DreamProver 2026.04		21	52.5
Hilbert 2026.04		16	40
Gemini 3.1 Pro 2026.04		13	32.5
Hilbert 2026.04		13	32.5
GPT-5.3-Codex 2026.04		12	30
Goedel-Prover-V2-32B 2026.04		12	30
Claude 4.6 Opus 2026.04		11	27.5
Hilbert 2026.04		11	27.5
DeepSeek-Prover-V2-7B 2026.04		10	25
Goedel-Prover-V2-8B 2026.04		10	25
Gemini 2.5 Pro 2026.04		5	12.5