Mathematical Proof Reasoning on IMO-ProofBench Advanced
58.6Mask-Proof Average@4Gemini 2.5 Pro
Evaluation Results
| Method | Links | ||
|---|---|---|---|
| Gemini 2.5 Pro2026.06 | 58.6 | 17.6 | |
| o32026.06 | 53.1 | 4.8 | |
| Grok 4.1 Reasoning2026.06 | 53.1 | 16.7 | |
| o32026.06 | 52.9 | 20.5 | |
| Grok 4.1 Reasoning2026.06 | 50 | 18.6 | |
| Gemini 2.5 Pro2026.06 | 46.9 | 7.1 | |
| o4-mini2026.06 | 46.9 | 7.1 | |
| o4-mini2026.06 | 42.1 | 11.4 | |
| Qwen3-235B2026.06 | 34.3 | 5.2 | |
| DeepSeek V32026.06 | 32.9 | 4.3 | |
| Qwen3-235B2026.06 | 31.2 | 0 | |
| Kimi-K22026.06 | 30.7 | 7.1 | |
| Kimi-K22026.06 | 25 | 2.4 | |
| DeepSeek V32026.06 | 25 | 2.4 |