Mathematical Proof Reasoning on IMO-ProofBench-Advanced Novel (22 problems)
55.7Mask-Proof Avg@4Gemini 2.5 Pro
Evaluation Results
| Method | Links | ||
|---|---|---|---|
| Gemini 2.5 Pro2026.06 | 55.7 | 15.9 | |
| o32026.06 | 44.3 | 15.1 | |
| Grok 4.1 Reasoning2026.06 | 43.2 | 19.8 | |
| Qwen3-235B2026.06 | 34.1 | 7.1 | |
| o4-mini2026.06 | 33 | 8.7 | |
| DeepSeek V32026.06 | 30.7 | 6.3 | |
| Kimi-K22026.06 | 23.9 | 4 |