ComBench - Analysis-Centric: leaderboard
ComBench evaluates rigorous proof reasoning and constructive realization on 100 Olympiad-level combinatorics problems (50 analysis-centric, 50 construction-centric). This board reports Average normalized proof score (%) on the 50 analysis-centric problems; higher is better.
Metric: Average normalized proof score (%) on the 50 analysis-centric problems; higher is better. Source: arxiv.org. Saturation forecast: Around February 2027. 10 models tracked.
Top models
| # | Model | Score | Overall rank |
|---|---|---|---|
| 1 | GPT-5.5 | 62.4 | #49 |
| 2 | Gemini 3.1 Pro (Preview) (Thinking) | 56.1 | #94 (Gemini 3.1 Pro (Preview)) |
| 3 | Kimi K2.6 | 43.5 | #178 |
| 4 | DeepSeek V4 Pro | 37.8 | #188 |
| 5 | Nemotron Cascade 2 30B A3B | 21.8 | #1091 |
| 6 | GLM-5.1 | 21.6 | #179 |
| 7 | Qwen 3.6 Max Preview | 21.4 | #159 |
| 8 | Qwen 3.6 35B A3B | 17.9 | #462 |
| 9 | Gemma 4 31B (IT) | 16.1 | #342 |
No result here: #1 Claude Fable 5.2, #2 Gemini 4 Carbon, #5 Claude Opus 5.5.
Interactive version: theaggregate.ai/benchmark?slug=combench-analysis-centric · How It Works · Data refreshed daily, snapshot 2026-11-13.