Math benchmark

# ProofBench leaderboard

> ProofBench results for 77 AI models, led by Claude Fable 5.1 at 100%. What the benchmark measures, who runs it, and a source for every score.
- Canonical page: https://noometry.com/benchmarks/proofbench
- Last updated: 2026-10-10
- Title: ProofBench Leaderboard (October 2026): Scores by Model

As of October 2026, Claude Fable 5.1 has the highest published ProofBench score on Noometry at 100%, out of 77 models with results.

Last verified October 10, 2026

## About ProofBench

A description with primary sources is being prepared for this benchmark.

- **Category:** [Math](https://noometry.com/best/math)
- **Introduced:** 2026
- **Format:** Proof grading
- **Unit:** Percent (random guessing ≈ 0%)
- **Official site:** [epoch.ai](https://epoch.ai/benchmarks)

## Top 15 models

Top models on ProofBench

1.  Claude Fable 5.1 100%
2.  Claude Opus 5.5 100%
3.  Claude Sonnet 5.5 100%
4.  Claude Opus 5 99%
5.  Gemini 4 Argon 99%
6.  GPT-6.1 Sol 99%
7.  GPT-6 Astra 99%
8.  Claude Fable 5 95%
9.  Kimi K3 87%
10.  GPT-5.6 Sol 83%
11.  GPT-6 Sol 83%
12.  Claude Sonnet 5 77%
13.  Hy4 preview 75%
14.  GPT-5.6 Terra 74%
15.  MiMo-V2.6-Pro 70%
16.  60708090100

Sponsored placements are available on pages like this one. [Advertise on Noometry](https://noometry.com/advertise)

## All results

ProofBench results by model
| # | Model | Provider | Score | Setting | Source | Date |
| --- | --- | --- | --- | --- | --- | --- |
| 1 | [Claude Fable 5.1](https://noometry.com/models/claude-fable-5-1) | [Anthropic](https://noometry.com/providers/anthropic) | 100% | max | [Epoch AI](https://epoch.ai/benchmarks) |  |
| 2 | [Claude Opus 5.5](https://noometry.com/models/claude-opus-5-5) | [Anthropic](https://noometry.com/providers/anthropic) | 100% | max | [Epoch AI](https://epoch.ai/benchmarks) |  |
| 3 | [Claude Sonnet 5.5](https://noometry.com/models/claude-sonnet-5-5) | [Anthropic](https://noometry.com/providers/anthropic) | 100% | max | [Epoch AI](https://epoch.ai/benchmarks) |  |
| 4 | [Claude Opus 5](https://noometry.com/models/claude-opus-5) | [Anthropic](https://noometry.com/providers/anthropic) | 99% | max | [Epoch AI](https://epoch.ai/benchmarks) |  |
| 5 | [Gemini 4 Argon](https://noometry.com/models/gemini-4-argon) |  [![](/logos/google.svg) Google](https://noometry.com/providers/google) | 99% |  | [Epoch AI](https://epoch.ai/benchmarks) |  |
| 6 | [GPT-6.1 Sol](https://noometry.com/models/gpt-6-1-sol) | [OpenAI](https://noometry.com/providers/openai) | 99% |  | [Epoch AI](https://epoch.ai/benchmarks) |  |
| 7 | [GPT-6 Astra](https://noometry.com/models/gpt-6-astra) | [OpenAI](https://noometry.com/providers/openai) | 99% |  | [Epoch AI](https://epoch.ai/benchmarks) |  |
| 8 | [Claude Fable 5](https://noometry.com/models/claude-fable-5) | [Anthropic](https://noometry.com/providers/anthropic) | 95% | max | [Epoch AI](https://epoch.ai/benchmarks) |  |
| 9 | [Kimi K3](https://noometry.com/models/kimi-k3) | [Moonshot AI](https://noometry.com/providers/moonshot) | 87% |  | [Epoch AI](https://epoch.ai/benchmarks) |  |
| 10 | [GPT-5.6 Sol](https://noometry.com/models/gpt-5-6-sol) | [OpenAI](https://noometry.com/providers/openai) | 83% | max | [Epoch AI](https://epoch.ai/benchmarks) |  |
| 11 | [GPT-6 Sol](https://noometry.com/models/gpt-6-sol) | [OpenAI](https://noometry.com/providers/openai) | 83% |  | [Epoch AI](https://epoch.ai/benchmarks) |  |
| 12 | [Claude Sonnet 5](https://noometry.com/models/claude-sonnet-5) | [Anthropic](https://noometry.com/providers/anthropic) | 77% | max | [Epoch AI](https://epoch.ai/benchmarks) |  |
| 13 | [Hy4 preview](https://noometry.com/models/hy4-preview) |  [![](/logos/tencent.svg) Tencent](https://noometry.com/providers/tencent) | 75% |  | [Epoch AI](https://epoch.ai/benchmarks) |  |
| 14 | [GPT-5.6 Terra](https://noometry.com/models/gpt-5-6-terra) | [OpenAI](https://noometry.com/providers/openai) | 74% | xhigh | [Epoch AI](https://epoch.ai/benchmarks) |  |
| 15 | [MiMo-V2.6-Pro](https://noometry.com/models/mimo-v2-6-pro) | [Xiaomi](https://noometry.com/providers/xiaomi) | 70% |  | [Epoch AI](https://epoch.ai/benchmarks) |  |
| 16 | [Claude Opus 4.8](https://noometry.com/models/claude-opus-4-8) | [Anthropic](https://noometry.com/providers/anthropic) | 69% | max | [Epoch AI](https://epoch.ai/benchmarks) |  |
| 17 | [GPT-6 Luna](https://noometry.com/models/gpt-6-luna) | [OpenAI](https://noometry.com/providers/openai) | 64% |  | [Epoch AI](https://epoch.ai/benchmarks) |  |
| 18 | [MiMo-V2.6-Flash](https://noometry.com/models/mimo-v2-6-flash) | [Xiaomi](https://noometry.com/providers/xiaomi) | 63% |  | [Epoch AI](https://epoch.ai/benchmarks) |  |
| 19 | [GPT-5.6 Luna](https://noometry.com/models/gpt-5-6-luna) | [OpenAI](https://noometry.com/providers/openai) | 60% | max | [Epoch AI](https://epoch.ai/benchmarks) |  |
| 20 | [Gemini 3.7 Flash](https://noometry.com/models/gemini-3-7-flash) |  [![](/logos/google.svg) Google](https://noometry.com/providers/google) | 58% |  | [Epoch AI](https://epoch.ai/benchmarks) |  |
| 21 | [Muse Spark 1.3](https://noometry.com/models/muse-spark-1-3) |  [![](/logos/meta.svg) Meta](https://noometry.com/providers/meta) | 58% | max | [Epoch AI](https://epoch.ai/benchmarks) |  |
| 22 | [Qwen3.8 Max](https://noometry.com/models/qwen3-8-max) |  [![](/logos/alibaba.svg) Alibaba (Qwen)](https://noometry.com/providers/alibaba) | 58% |  | [Epoch AI](https://epoch.ai/benchmarks) |  |
| 23 | [DeepSeek V4 Flash](https://noometry.com/models/deepseek-v4-flash) |  [![](/logos/deepseek.svg) DeepSeek](https://noometry.com/providers/deepseek) | 56% |  | [Epoch AI](https://epoch.ai/benchmarks) |  |
| 24 | [GPT-5.4](https://noometry.com/models/gpt-5-4) | [OpenAI](https://noometry.com/providers/openai) | 56% | xhigh | [Epoch AI](https://epoch.ai/benchmarks) |  |
| 25 | [Claude Opus 4.7](https://noometry.com/models/claude-opus-4-7) | [Anthropic](https://noometry.com/providers/anthropic) | 54% | max | [Epoch AI](https://epoch.ai/benchmarks) |  |
| 26 | [DeepSeek V4.1 Flash](https://noometry.com/models/deepseek-v4-1-flash) |  [![](/logos/deepseek.svg) DeepSeek](https://noometry.com/providers/deepseek) | 54% |  | [Epoch AI](https://epoch.ai/benchmarks) |  |
| 27 | [Grok 4.6](https://noometry.com/models/grok-4-6) | [xAI](https://noometry.com/providers/xai) | 51% |  | [Epoch AI](https://epoch.ai/benchmarks) |  |
| 28 | [Claude Opus 4.6](https://noometry.com/models/claude-opus-4-6) | [Anthropic](https://noometry.com/providers/anthropic) | 50% | max | [Epoch AI](https://epoch.ai/benchmarks) |  |
| 29 | [DeepSeek V4 Pro](https://noometry.com/models/deepseek-v4-pro) |  [![](/logos/deepseek.svg) DeepSeek](https://noometry.com/providers/deepseek) | 50% |  | [Epoch AI](https://epoch.ai/benchmarks) |  |
| 30 | [GPT-5.5](https://noometry.com/models/gpt-5-5) | [OpenAI](https://noometry.com/providers/openai) | 50% | xhigh | [Epoch AI](https://epoch.ai/benchmarks) |  |
| 31 | [GLM-5.3](https://noometry.com/models/glm-5-3) | [Z.ai (Zhipu)](https://noometry.com/providers/zai) | 49% | max | [Epoch AI](https://epoch.ai/benchmarks) |  |
| 32 | [Gemini 3.8 Flash](https://noometry.com/models/gemini-3-8-flash) |  [![](/logos/google.svg) Google](https://noometry.com/providers/google) | 48% |  | [Epoch AI](https://epoch.ai/benchmarks) |  |
| 33 | [Claude Sonnet 4.6](https://noometry.com/models/claude-sonnet-4-6) | [Anthropic](https://noometry.com/providers/anthropic) | 45% | max | [Epoch AI](https://epoch.ai/benchmarks) |  |
| 34 | [Muse Spark 1.2](https://noometry.com/models/muse-spark-1-2) |  [![](/logos/meta.svg) Meta](https://noometry.com/providers/meta) | 43% |  | [Epoch AI](https://epoch.ai/benchmarks) |  |
| 35 | [Step 5 Preview](https://noometry.com/models/step-5-preview) |  [![](/logos/stepfun.svg) StepFun](https://noometry.com/providers/stepfun) | 42% |  | [Epoch AI](https://epoch.ai/benchmarks) |  |
| 36 | [Muse Spark 1.1](https://noometry.com/models/muse-spark-1-1) |  [![](/logos/meta.svg) Meta](https://noometry.com/providers/meta) | 39% |  | [Epoch AI](https://epoch.ai/benchmarks) |  |
| 37 | [Claude Opus 4.5](https://noometry.com/models/claude-opus-4-5) | [Anthropic](https://noometry.com/providers/anthropic) | 36% |  | [Epoch AI](https://epoch.ai/benchmarks) |  |
| 38 | [Gemini 3.6 Flash](https://noometry.com/models/gemini-3-6-flash) |  [![](/logos/google.svg) Google](https://noometry.com/providers/google) | 36% |  | [Epoch AI](https://epoch.ai/benchmarks) |  |
| 39 | [GLM-5.2](https://noometry.com/models/glm-5-2) | [Z.ai (Zhipu)](https://noometry.com/providers/zai) | 35% | max | [Epoch AI](https://epoch.ai/benchmarks) |  |
| 40 | [Grok 4.7](https://noometry.com/models/grok-4-7) | [xAI](https://noometry.com/providers/xai) | 34% |  | [Epoch AI](https://epoch.ai/benchmarks) |  |
| 41 | [Gemini 3.5 Flash](https://noometry.com/models/gemini-3-5-flash) |  [![](/logos/google.svg) Google](https://noometry.com/providers/google) | 31% | high | [Epoch AI](https://epoch.ai/benchmarks) |  |
| 42 | [Grok 4.5](https://noometry.com/models/grok-4-5) | [xAI](https://noometry.com/providers/xai) | 31% | high | [Epoch AI](https://epoch.ai/benchmarks) |  |
| 43 | [Gemini 3.1 Pro Preview](https://noometry.com/models/gemini-3-1-pro-preview) |  [![](/logos/google.svg) Google](https://noometry.com/providers/google) | 26% |  | [Epoch AI](https://epoch.ai/benchmarks) |  |
| 44 | [Qwen3.7 Max](https://noometry.com/models/qwen3-7-max) |  [![](/logos/alibaba.svg) Alibaba (Qwen)](https://noometry.com/providers/alibaba) | 26% |  | [Epoch AI](https://epoch.ai/benchmarks) |  |
| 45 | [GLM-5.1](https://noometry.com/models/glm-5-1) | [Z.ai (Zhipu)](https://noometry.com/providers/zai) | 22.2% |  | [Epoch AI](https://epoch.ai/benchmarks) |  |
| 46 | [MiMo-V2.5-Pro](https://noometry.com/models/mimo-v2-5-pro) | [Xiaomi](https://noometry.com/providers/xiaomi) | 22% |  | [Epoch AI](https://epoch.ai/benchmarks) |  |
| 47 | [GLM-5.3-Flash](https://noometry.com/models/glm-5-3-flash) | [Z.ai (Zhipu)](https://noometry.com/providers/zai) | 21% | max | [Epoch AI](https://epoch.ai/benchmarks) |  |
| 48 | [GPT-5.4 mini](https://noometry.com/models/gpt-5-4-mini) | [OpenAI](https://noometry.com/providers/openai) | 21% | xhigh | [Epoch AI](https://epoch.ai/benchmarks) |  |
| 49 | [Gemini 3 Pro](https://noometry.com/models/gemini-3-pro) |  [![](/logos/google.svg) Google](https://noometry.com/providers/google) | 20% |  | [Epoch AI](https://epoch.ai/benchmarks) |  |
| 50 | [Claude Sonnet 4.5](https://noometry.com/models/claude-sonnet-4-5) | [Anthropic](https://noometry.com/providers/anthropic) | 19% |  | [Epoch AI](https://epoch.ai/benchmarks) |  |
| 51 | [GPT-5](https://noometry.com/models/gpt-5) | [OpenAI](https://noometry.com/providers/openai) | 18% | high | [Epoch AI](https://epoch.ai/benchmarks) |  |
| 52 | [MiniMax-M3](https://noometry.com/models/minimax-m3) |  [![](/logos/minimax.svg) MiniMax](https://noometry.com/providers/minimax) | 18% |  | [Epoch AI](https://epoch.ai/benchmarks) |  |
| 53 | [Muse Spark](https://noometry.com/models/muse-spark) |  [![](/logos/meta.svg) Meta](https://noometry.com/providers/meta) | 17% |  | [Epoch AI](https://epoch.ai/benchmarks) |  |
| 54 | [Kimi K2.6](https://noometry.com/models/kimi-k2-6) | [Moonshot AI](https://noometry.com/providers/moonshot) | 16% |  | [Epoch AI](https://epoch.ai/benchmarks) |  |
| 55 | [MiMo-V2.5](https://noometry.com/models/mimo-v2-5) | [Xiaomi](https://noometry.com/providers/xiaomi) | 16% |  | [Epoch AI](https://epoch.ai/benchmarks) |  |
| 56 | [Qwen3.8 27B](https://noometry.com/models/qwen3-8-27b) |  [![](/logos/alibaba.svg) Alibaba (Qwen)](https://noometry.com/providers/alibaba) | 16% |  | [Epoch AI](https://epoch.ai/benchmarks) |  |
| 57 | [Gemini 3 Flash Preview](https://noometry.com/models/gemini-3-flash-preview) |  [![](/logos/google.svg) Google](https://noometry.com/providers/google) | 15% |  | [Epoch AI](https://epoch.ai/benchmarks) |  |
| 58 | [GPT-5.2](https://noometry.com/models/gpt-5-2) | [OpenAI](https://noometry.com/providers/openai) | 15% | xhigh | [Epoch AI](https://epoch.ai/benchmarks) |  |
| 59 | [Grok 4.20 (Non-Reasoning)](https://noometry.com/models/grok-4-20) | [xAI](https://noometry.com/providers/xai) | 14% |  | [Epoch AI](https://epoch.ai/benchmarks) |  |
| 60 | [Gemini 3.5 Flash Lite](https://noometry.com/models/gemini-3-5-flash-lite) |  [![](/logos/google.svg) Google](https://noometry.com/providers/google) | 13% |  | [Epoch AI](https://epoch.ai/benchmarks) |  |
| 61 | [GPT-5 Nano](https://noometry.com/models/gpt-5-nano) | [OpenAI](https://noometry.com/providers/openai) | 12% | high | [Epoch AI](https://epoch.ai/benchmarks) |  |
| 62 | [Grok 4.3](https://noometry.com/models/grok-4-3) | [xAI](https://noometry.com/providers/xai) | 11% | high | [Epoch AI](https://epoch.ai/benchmarks) |  |
| 63 | [GPT-5.1-Codex](https://noometry.com/models/gpt-5-1-codex) | [OpenAI](https://noometry.com/providers/openai) | 9% |  | [Epoch AI](https://epoch.ai/benchmarks) |  |
| 64 | [GPT-5 Mini](https://noometry.com/models/gpt-5-mini) | [OpenAI](https://noometry.com/providers/openai) | 9% | high | [Epoch AI](https://epoch.ai/benchmarks) |  |
| 65 | [Mistral Medium](https://noometry.com/models/mistral-medium) |  [![](/logos/mistral.svg) Mistral AI](https://noometry.com/providers/mistral) | 9% |  | [Epoch AI](https://epoch.ai/benchmarks) |  |
| 66 | [DeepSeek-V3.2-Exp](https://noometry.com/models/deepseek-v3-2-exp) |  [![](/logos/deepseek.svg) DeepSeek](https://noometry.com/providers/deepseek) | 8% |  | [Epoch AI](https://epoch.ai/benchmarks) |  |
| 67 | [GLM-4.7](https://noometry.com/models/glm-4-7) | [Z.ai (Zhipu)](https://noometry.com/providers/zai) | 6% |  | [Epoch AI](https://epoch.ai/benchmarks) |  |
| 68 | [Inkling-Small](https://noometry.com/models/inkling-small) | [T Thinking Machines Lab](https://noometry.com/providers/thinking-machines) | 6% |  | [Epoch AI](https://epoch.ai/benchmarks) |  |
| 69 | [GPT-5.4 nano](https://noometry.com/models/gpt-5-4-nano) | [OpenAI](https://noometry.com/providers/openai) | 5% | high | [Epoch AI](https://epoch.ai/benchmarks) |  |
| 70 | [Grok 4.1 Fast](https://noometry.com/models/grok-4-1-fast) | [xAI](https://noometry.com/providers/xai) | 4% |  | [Epoch AI](https://epoch.ai/benchmarks) |  |
| 71 | [MiniMax-M2.5](https://noometry.com/models/minimax-m2-5) |  [![](/logos/minimax.svg) MiniMax](https://noometry.com/providers/minimax) | 4% |  | [Epoch AI](https://epoch.ai/benchmarks) |  |
| 72 | [Mercury 2.5](https://noometry.com/models/mercury-2-5) | [Inception](https://noometry.com/providers/inception) | 3% |  | [Epoch AI](https://epoch.ai/benchmarks) |  |
| 73 | [MiniMax-M2.7](https://noometry.com/models/minimax-m2-7) |  [![](/logos/minimax.svg) MiniMax](https://noometry.com/providers/minimax) | 3% |  | [Epoch AI](https://epoch.ai/benchmarks) |  |
| 74 | [Nemotron 3 Ultra](https://noometry.com/models/nemotron-3-ultra) |  [![](/logos/nvidia.svg) NVIDIA](https://noometry.com/providers/nvidia) | 2% |  | [Epoch AI](https://epoch.ai/benchmarks) |  |
| 75 | [Inkling](https://noometry.com/models/inkling) | [T Thinking Machines Lab](https://noometry.com/providers/thinking-machines) | 0% |  | [Epoch AI](https://epoch.ai/benchmarks) |  |
| 76 | [Laguna M.1](https://noometry.com/models/laguna-m-1) |  [![](/logos/poolside.svg) Poolside](https://noometry.com/providers/poolside) | 0% |  | [Epoch AI](https://epoch.ai/benchmarks) |  |
| 77 | [Laguna XS.2](https://noometry.com/models/laguna-xs-2) |  [![](/logos/poolside.svg) Poolside](https://noometry.com/providers/poolside) | 0% |  | [Epoch AI](https://epoch.ai/benchmarks) |  |

## Compare the leaders

-   [Claude Fable 5.1 vs Claude Opus 5.5](https://noometry.com/compare/claude-fable-5-1-vs-claude-opus-5-5)
-   [Claude Fable 5.1 vs Claude Sonnet 5.5](https://noometry.com/compare/claude-fable-5-1-vs-claude-sonnet-5-5)
-   [Claude Fable 5.1 vs Claude Opus 5](https://noometry.com/compare/claude-fable-5-1-vs-claude-opus-5)
-   [Claude Fable 5.1 vs Gemini 4 Argon](https://noometry.com/compare/claude-fable-5-1-vs-gemini-4-argon)
-   [Claude Opus 5.5 vs Claude Sonnet 5.5](https://noometry.com/compare/claude-opus-5-5-vs-claude-sonnet-5-5)
-   [Claude Opus 5.5 vs Claude Opus 5](https://noometry.com/compare/claude-opus-5-vs-claude-opus-5-5)

## Other math benchmarks

-   [FrontierMath (Tiers 1-3)](https://noometry.com/benchmarks/frontiermath)
-   [FrontierMath Tier 4](https://noometry.com/benchmarks/frontiermath-tier-4)
-   [MathArena Final-Answer Competitions](https://noometry.com/benchmarks/matharena)
-   [OTIS Mock AIME 2024-2025](https://noometry.com/benchmarks/otis-mock-aime)
-   [Omni-MATH](https://noometry.com/benchmarks/omni-math)
-   [LMArena Math](https://noometry.com/benchmarks/arena-math)
-   [LiveBench Math](https://noometry.com/benchmarks/livebench-math)
-   [MATH Level 5](https://noometry.com/benchmarks/math-level-5)
-   [FrontierMath (Feb 2025 set)](https://noometry.com/benchmarks/frontiermath-2025-02) (reference)
-   [FrontierMath Erdős](https://noometry.com/benchmarks/frontiermath-erdos) (reference)
-   [FrontierMath Tier 4 (v1)](https://noometry.com/benchmarks/frontiermath-tier-4-v1) (reference)
-   [GSM8K](https://noometry.com/benchmarks/gsm8k) (reference)

## Frequently asked questions

### Which model has the highest ProofBench score?

As of October 2026, Claude Fable 5.1 has the highest published ProofBench score on Noometry at 100%, out of 77 models with results.

### What is the best open-weight model on ProofBench?

Kimi K3 has the highest ProofBench accuracy among open-weight models at 87%, ranking 9 of 77 overall.

### Cite this page

Noometry. (2026). ProofBench leaderboard. Retrieved October 10, 2026, from https://noometry.com/benchmarks/proofbench

Quote Noometry with a link back to this page. It is also available in [Markdown](https://noometry.com/md/benchmarks/proofbench.md).