Benchmark · KnowledgeSettled

Proofbench

Updated 2026-10-13
Models tested
63
Top score
100.0
Claude Fable 5.1
Median
35.0
min 2.0
Top-5 spread
σ 0.5
Settled

Best score over time · one chart, every benchmark

PROOFBENCH61 MODELS · FRONTIER RUNNING MAX0255075100SCORE ↑Aug 25Nov 25Mar 26Jun 26Oct 26RELEASE DATE →benchgecko.ai/benchmark/proofbench · frontier
Frontier on Proofbench rose from 18.0 to 100.0 in 13 months · +82.0 points · latest leader Claude Fable 5.1 from Anthropic.
Pink dots = frontier records · 9 totalClick to open model page

63 models tested · sorted by score

#ModelScore
1Anthropic logoClaude Fable 5.1100.0
2Anthropic logoClaude Opus 5.5100.0
3Anthropic logoClaude Sonnet 5.5100.0
4Anthropic logoClaude Opus 599.0
5Google DeepMind logoGemini 4 Argon99.0
6OpenAI logoGPT-6 Astra99.0
7OpenAI logoGPT-6.1 Sol99.0
8Anthropic logoClaude Fable 595.0
9Anthropic logoClaude Haiku 5.589.0
10moonshotai logoKimi K387.0
11OpenAI logoGPT-5.6 Sol83.0
12OpenAI logoGPT-6 Sol83.0
13Anthropic logoClaude Sonnet 577.0
14OpenAI logoGPT-5.6 Terra74.0
15Anthropic logoClaude Opus 4.869.0
16OpenAI logoGPT-6 Luna64.0
17OpenAI logoGPT-5.6 Luna60.0
18Google DeepMind logoGemini 3.7 Flash58.0
19Alibaba Qwen logoQwen3.8 Max (0902)58.0
20DeepSeek logoDeepSeek V4 Flash 073156.0
21OpenAI logoGPT-5.456.0
22Anthropic logoClaude Opus 4.754.0
23DeepSeek logoDeepSeek V4.1 Flash54.0
24xAI logoGrok 4.651.0
25Anthropic logoClaude Opus 4.650.0
26DeepSeek logoDeepSeek V4 Pro 081350.0
27z-ai logoGLM 5.349.0
28Google DeepMind logoGemini 3.8 Flash48.0
29Anthropic logoClaude Sonnet 4.645.0
30Anthropic logoClaude Opus 4.536.0
31Google DeepMind logoGemini 3.6 Flash36.0
32z-ai logoGLM 5.235.0
33xAI logoGrok 4.734.0
34Google DeepMind logoGemini 3.5 Flash31.0
35xAI logoGrok 4.531.0
36Google DeepMind logoGemini 3.1 Pro Preview26.0
37Alibaba Qwen logoQwen3.7 Max26.0
38z-ai logoGLM 5.122.2
39z-ai logoGLM 5.3 Flash21.0
40OpenAI logoGPT-5.4 Mini21.0
41Google DeepMind logoGemini 3 Pro20.0
42Anthropic logoClaude Sonnet 4.519.0
43OpenAI logoGPT-518.0
44minimax logoMiniMax M318.0
45Muse Spark17.0
46DeepSeek logoDeepSeek V4 Pro16.0
47moonshotai logoKimi K2.616.0
48Alibaba Qwen logoQwen3.8 27B16.0
49Google DeepMind logoGemini 3 Flash Preview15.0
50OpenAI logoGPT-5.215.0
51xAI logoGrok 4.2014.0
52Google DeepMind logoGemini 3.5 Flash Lite13.0
53OpenAI logoGPT-5 Nano12.0
54xAI logoGrok 4.311.0
55Mistral AI logoMistral Large 410.0
56OpenAI logoGPT-5 Mini9.0
57Mistral AI logoMistral Medium 3.59.0
58DeepSeek logoDeepSeek V3.28.0
59z-ai logoGLM 4.76.0
60OpenAI logoGPT-5.4 Nano5.0
61minimax logoMiniMax M2.54.0
62minimax logoMiniMax M2.73.0
63NVIDIA logoNemotron 3 Ultra2.0

Same category · related evaluations