MathArena - ARXIV_FALSE April: leaderboard

MathArena BrokenArXiv (April): plausible but false proof statements altered from recent April arXiv papers, scoring whether a model refuses to prove the claim and explicitly identifies it as false rather than fabricating a proof.

Metric: Accuracy (%). Source: matharena.ai. Saturation forecast: Around January 2027. 19 models tracked.

Top models

#ModelScoreOverall rank
1GPT-6 Astra (Max)97.54#6 (GPT-6 Astra)
2GPT-5.5 (xHigh)72.13#31 (GPT-5.5)
3Kimi K3 (Thinking)59.43#30 (Kimi K3)
4Claude Fable 5 (Max)54.1#16 (Claude Fable 5)
5Muse Spark 1.349.18#24
6Qwen 3.8 Max45.49#35
7Claude Opus 4.8 (Max)34.43#37 (Claude Opus 4.8)
8Gemini 3.8 Flash33.61#21
9Gemini 3.1 Pro (Preview)25.82#58
10DeepSeek V4 Flash (Max)23.77#137 (DeepSeek V4 Flash)
11DeepSeek V4 Pro (Max)22.13#102 (DeepSeek V4 Pro)
12Gemini 3.5 Flash21.31#60
13Gemini 3.7 Flash19.26#23
14Step 3.7 Flash18.85#236
15GLM-5.218.44#73

No result here: #3 Claude Opus 5.5, #7 GPT-6.1 Sol, #8 Gemini 4 Argon.

Interactive version: theaggregate.ai/benchmark?slug=matharena-arxiv-false-april · How It Works · Data refreshed daily, snapshot 2026-10-20.