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

#ModelScoreOverall rank
1GPT-5.562.4#49
2Gemini 3.1 Pro (Preview) (Thinking)56.1#94 (Gemini 3.1 Pro (Preview))
3Kimi K2.643.5#178
4DeepSeek V4 Pro37.8#188
5Nemotron Cascade 2 30B A3B21.8#1091
6GLM-5.121.6#179
7Qwen 3.6 Max Preview21.4#159
8Qwen 3.6 35B A3B17.9#462
9Gemma 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.