Mathematical Proof Reasoning on IMO-ProofBench-Advanced USAMO 2025 (5 problems)
90Mask-Proof Avg@4o3
Evaluation Results
| Method | Links | ||
|---|---|---|---|
| o32026.06 | 90 | 52.4 | |
| Gemini 2.5 Pro2026.06 | 90 | 33.3 | |
| Grok 4.1 Reasoning2026.06 | 75 | 16.7 | |
| o4-mini2026.06 | 75 | 23.8 | |
| Kimi-K22026.06 | 70 | 21.4 | |
| DeepSeek V32026.06 | 55 | 0 | |
| Qwen3-235B2026.06 | 40 | 4.8 |