ProofBench leaderboard: Claude models hit 100%, 10th-place system named 'Wonder Full'
shuchaobi · x · 2026-10-13
A retweet puns on VALS' ProofBench (formally verified math proofs) leaderboard, where the 10th-ranked system is literally named 'Wonder Full' at 94% accuracy. Claude Sonnet 5.5, Opus 5.5, Fable 5.1 and AlephProver all score 100%, while Claude Haiku 5.5 offers standout value at 89% for $0.17 per test across 52 systems.
More from Models
- Meta's Muse Wonder scores 21 on ExploitGym vs Claude models' 191-300 — scaling01 · 2026-10-13
- Researcher flags Google Astra's bloated explanations, floats a conciseness benchmark — OfirPress · 2026-10-13
- OpenAI's latest blow to mathematicians: 'They have annihilated my field' — ThereWas · 2026-10-13
- Google AI Overviews denied a person had died, renewing criticism of AIO for news — lilyraynyc · 2026-10-13
- User feeds Claude Opus GTA frame-by-frame screenshots since it can't watch videos — adonis_singh · 2026-10-13
- Gemini Deep Research on web is really slow today, user reports — gaganghotra_ · 2026-10-13