Benchmarks / Math

BrokenArXiv 06/2026 (MathArena)

Plausible but false proof statements taken from June 2026 arXiv papers; a model scores by refusing to prove them and saying the statement is false as written. Maintained by MathArena. Score: Accuracy (average performance on the competition) with a 95% confidence interval (normal approximation).

26models
–Open Index weight
–last updated

BrokenArXiv 06/2026 (MathArena)

Higher is better · best effort per model

Chart settings
26 of 26 selected

full table below

#ModelEffortScoreCost / taskHarness
1Opus 5.5high100.0%––
2GPT-6.1 Solmax100.0%––
3GPT-6 Astramax99.1%––
4GPT-6 Solmax95.4%––
5Opus 5max90.7%––
6Fable 5.1low86.6%––
7GPT-5.5xhigh69.4%––
8GPT-5.6 Solmax67.3%––
9Muse Spark 1.3max53.2%––
10Grok 4.7xhigh52.8%––
11Kimi K3max51.9%––
12Muse Spark 1.1max50.6%––
13Fable 5max47.8%––
14Qwen 3.8 Maxmax44.0%––
15Opus 4.8max41.7%––
16DeepSeek V4.1 Flashmax39.4%––
17Grok 4.5max29.3%––
18Gemini 3.8 Flashmax20.8%––
19Gemini 3.1 Prohigh17.6%––
20DeepSeek V4 Flashmax16.7%––
21GLM 5.2max14.2%––
22Gemini 3.5 Flashxhigh12.3%––
23Gemini 3.6 Flashxhigh12.0%––
24Gemini 3.7 Flashmax11.1%––
25Qwen 3.6 35B–3.4%––
26Qwen 3.5 2Blow2.8%––