MathArena - ARXIV_FALSE June: leaderboard
MathArena BrokenArXiv (June): plausible but false proof statements altered from recent June 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. 30 models tracked.
Top models
| # | Model | Score | Overall rank |
|---|---|---|---|
| 1 | GPT-6.1 Sol (Max) | 100 | #7 (GPT-6.1 Sol) |
| 2 | Claude Opus 5.5 (High) | 100 | #3 (Claude Opus 5.5) |
| 3 | GPT-6 Astra (Max) | 99.07 | #6 (GPT-6 Astra) |
| 4 | GPT-6 Astra (Low) | 97.69 | #6 (GPT-6 Astra) |
| 5 | GPT-6 Sol (Max) | 95.37 | #14 (GPT-6 Sol) |
| 6 | Claude Opus 5 (Max) | 90.74 | #12 (Claude Opus 5) |
| 7 | Claude Fable 5.1 (Low) | 86.57 | #9 (Claude Fable 5.1) |
| 8 | GPT-5.5 (xHigh) | 69.44 | #31 (GPT-5.5) |
| 9 | GPT-5.6 Sol (Max) | 67.28 | #19 (GPT-5.6 Sol) |
| 10 | Muse Spark 1.3 | 53.24 | #24 |
| 11 | Grok 4.7 (xHigh) | 52.78 | #25 (Grok 4.7) |
| 12 | Kimi K3 (Thinking) | 51.85 | #30 (Kimi K3) |
| 13 | Muse Spark 1.1 | 50.62 | #52 |
| 14 | Claude Fable 5 (Max) | 47.84 | #16 (Claude Fable 5) |
| 15 | Qwen 3.8 Max | 43.98 | #35 |
No result here: #8 Gemini 4 Argon, #10 Muse Wonder Full.
Interactive version: theaggregate.ai/benchmark?slug=matharena-arxiv-false-june · How It Works · Data refreshed daily, snapshot 2026-10-20.