Request a pilot
‹ PublicAI Index

The LLM benchmark aggregator.

AlephProver

Other

Strongest in Mathematics (#8 of 149, on 1 of its 2 boards), weakest in Reasoning (#22 of 189). Above par in 2 of 2 scopes. Among the models it meets almost everywhere, it finishes behind Claude Opus 5.5 and Claude Fable 5.1 and ahead of Claude Opus 4.7 and Grok 4.20.

§ 1 · Profile

What it is good at

Bars run from 50 — the average of the models each source lists — so right of the line is above par. The middle column is the gap to whoever leads that scope.

Reasoning57.7#22/189
Mathematics61.6#8/149

§ 2 · Head to head

What it beats, and what beats it

The same models turn up scope after scope. Counted once: where both were placed, who finished higher. Bars run right for AlephProver, left for the other.

GPT-4o Miniwon 2 · lost 0
NVIDIA Nemotron 3.5 Lightning 30B A3Bwon 2 · lost 0
Jamba 1.6 Miniwon 2 · lost 0
Jamba 1.6 Largewon 2 · lost 0
Claude 3.5 Haikuwon 2 · lost 0
Mistral Small 3.1 24B Instructwon 2 · lost 0
GPT-4owon 2 · lost 0
Llama 3.3 70B Instructwon 2 · lost 0
Mistral Medium 3.5won 2 · lost 0
Grok 2won 2 · lost 0
Mistral Largewon 2 · lost 0
Mistral Smallwon 2 · lost 0
Llama 4 Scout Instructwon 2 · lost 0
Gemini 1.5 Flashwon 2 · lost 0
Command Awon 2 · lost 0
Gemini 1.5 Prowon 2 · lost 0
GPT-4.1 Nanowon 2 · lost 0
Gemini 2.0 Flashwon 2 · lost 0
Claude 3.5 Sonnetwon 2 · lost 0
Mercury 2.5won 2 · lost 0
Llama 4 Maverick Instructwon 2 · lost 0
Grok Build 0.1won 2 · lost 0
GPT-4.1won 2 · lost 0
Mistral Large 3won 2 · lost 0
Qwen3.6 27Bwon 2 · lost 0
MiniMax M3won 2 · lost 0
DeepSeek V3won 2 · lost 0
Gemini 3.5 Flash Litewon 2 · lost 0
Claude Haiku 4.5won 2 · lost 0
Ox Alphawon 2 · lost 0
GPT-4.1 Miniwon 2 · lost 0
Qwen3.5 0.8Bwon 2 · lost 0
Kimi K2won 2 · lost 0
GLM-5.3 Flashwon 2 · lost 0
Grok 3won 2 · lost 0
Llama 3.3 Nemotron Superwon 2 · lost 0
Kimi K2.7 Codewon 2 · lost 0
Claude 3.7 Sonnetwon 2 · lost 0
Gemini 2.5 Flash Litewon 2 · lost 0
Gemini 2.5 Flashwon 2 · lost 0
Inkling Smallwon 2 · lost 0
Mimo V2.5won 2 · lost 0
Mistral Medium 3.1won 2 · lost 0
Qwen3 235B A22B Instructwon 2 · lost 0
O3 Miniwon 2 · lost 0
Claude Opus 4won 2 · lost 0
Mimo V2.5 Prowon 2 · lost 0
DeepSeek R1won 2 · lost 0
GPT-5 Nanowon 2 · lost 0
Mistral Large 4won 2 · lost 0
G9v3 3Bwon 2 · lost 0
Qwen3.8 Flash Nextwon 2 · lost 0
NVIDIA Nemotron 3 Ultra 550B A55Bwon 2 · lost 0
Nemotron 3 Nano 4Bwon 2 · lost 0
Step 5won 2 · lost 0
DeepSeek V4won 2 · lost 0
Magistral Small 1.2won 2 · lost 0
Qwen3.8 27Bwon 2 · lost 0
O4 Miniwon 2 · lost 0
GPT-5.4 Miniwon 2 · lost 0
O1won 2 · lost 0
Claude Sonnet 4won 2 · lost 0
GPT OSS 120Bwon 2 · lost 0
OpenBMB 1Bwon 2 · lost 0
Granite 4.2 3Bwon 2 · lost 0
Magistral Medium 1.2won 2 · lost 0
MiniMax M2.1won 2 · lost 0
K2 Horizon 0.9Bwon 2 · lost 0
Qwen3.5 2Bwon 2 · lost 0
Mimo V2.6 Prowon 2 · lost 0
Inklingwon 2 · lost 0
DeepSeek V4 Flash Visionwon 2 · lost 0
GPT-5.2 Codexwon 2 · lost 0
Kimi K2.6won 2 · lost 0
Grok 3 Miniwon 2 · lost 0
Ember 1won 2 · lost 0
Grok 4.3won 2 · lost 0
Grok 4.7won 2 · lost 0
Kimi K2 Thinkingwon 2 · lost 0
GPT-6 Lunawon 2 · lost 0
Qwen3.5 4Bwon 2 · lost 0
DeepSeek V3.2won 2 · lost 0
Mimo V2.6 Flashwon 2 · lost 0
GPT OSS 20Bwon 2 · lost 0
Granite 4.2 8Bwon 2 · lost 0
K2 Horizon 3.7Bwon 2 · lost 0
GPT-5.4 Nanowon 2 · lost 0
GPT-5 Miniwon 2 · lost 0
MiniMax M2.5won 2 · lost 0
GLM-4.5won 2 · lost 0
O3won 2 · lost 0
GPT-5.6 Lunawon 2 · lost 0
Kimi K2.5won 2 · lost 0
Claude Sonnet 4.5won 2 · lost 0
GLM-5won 2 · lost 0
GLM-5.2won 2 · lost 0
Qwen3.6 Pluswon 2 · lost 0
Muse Spark 1.1won 2 · lost 0
GLM-5.3won 2 · lost 0
Gemini 2.5 Prowon 2 · lost 0
Qwen3.5 9Bwon 2 · lost 0
Gemma 4 12Bwon 2 · lost 0
Grok 4 Fastwon 2 · lost 0
Claude Opus 4.1won 2 · lost 0
GLM-4.7won 2 · lost 0
Hy4won 2 · lost 0
GLM-4.6won 2 · lost 0
DeepSeek V4 Flashwon 2 · lost 0
Gemini 3.1 Flash Litewon 2 · lost 0
Gemini 3.6 Flashwon 2 · lost 0
GPT-5won 2 · lost 0
GPT-5.1won 2 · lost 0
Qwen3.7 Maxwon 2 · lost 0
Claude Sonnet 4.6won 2 · lost 0
Grok 4.5won 2 · lost 0
Qwen3 Maxwon 2 · lost 0
K2 Horizon 7Bwon 2 · lost 0
Muse Spark 1.2won 2 · lost 0
Gemini 3.5 Flashwon 2 · lost 0
Qwen3.8 Maxwon 2 · lost 0
DeepSeek V4 Prowon 2 · lost 0
GLM-5.1won 2 · lost 0
Claude Haiku 5.5won 2 · lost 0
Grok 4.1 Fastwon 2 · lost 0
Qwen3.5 Flashwon 2 · lost 0
Aristotlewon 2 · lost 0
Grok 4won 2 · lost 0
Qwen 3.5 Pluswon 2 · lost 0
Claude Opus 4.5won 2 · lost 0
Kimi K3won 2 · lost 0
MiniMax M2.7won 2 · lost 0
DeepSeek V4.1 Flashwon 2 · lost 0
Gemini 3 Flashwon 2 · lost 0
GPT-5.2won 2 · lost 0
Gemini 3.1 Prowon 2 · lost 0
Claude Sonnet 5won 2 · lost 0
Muse Wonder Fullwon 2 · lost 0
Gemini 3.7 Flashwon 2 · lost 0
Muse Sparkwon 2 · lost 0
Claude Opus 4.6won 2 · lost 0
GPT-5.6 Terrawon 2 · lost 0
Grok 4.20won 2 · lost 0
Claude Opus 4.7won 2 · lost 0
Grok 4.6won 1 · lost 1
Muse Spark 1.3won 1 · lost 1
Claude Opus 4.8won 1 · lost 1
Muse Wonderwon 1 · lost 1
Gemini 3.8 Flashwon 1 · lost 1
GPT-5.4won 1 · lost 1
Gemini 3 Prowon 1 · lost 1
GPT-5.5won 1 · lost 1
GPT-6 Solwon 1 · lost 1
GPT-5.6 Solwon 1 · lost 1
Gemini 4 Argonwon 1 · lost 1
Claude Fable 5won 0 · lost 2
Claude Sonnet 5.5won 0 · lost 2
Claude Opus 5won 0 · lost 2
GPT-6.1 Solwon 0 · lost 2
GPT-6 Astrawon 0 · lost 2
Claude Fable 5.1won 0 · lost 2
Claude Opus 5.5won 0 · lost 2

§ 3 · Sources

Where the numbers come from

1 publication, 1 figures. Every one links to the page it was read from.

Vals.ai ↗1 measureread 2026-10-19
Vals · ProofBench 100%

Badge

PublicAI Index badge for AlephProver[![PublicAI Index](https://publicai.io/model-index/badge?model=alephprover)](https://publicai.io/model-index/m/alephprover)