2026-10-20UPDATEPlatform updated: 52 models tracked across 42 independent benchmarks including CorpFin • 2026-10-20BENCHCorpFin added to benchmark suite — long credit agreement comprehension evaluations live • 2026-10-19MODELClaude Sonnet 5.5 and Opus 5.5 achieve 75.9% and 75.8% on Excel Modeling Benchmark v1.1 • 2026-10-19MODELTax Agent Bench updated: Claude Fable 5.1 (49.2%) and Gemini 4 Argon (44.6%) lead corporate tax research • 2026-10-18MODELGemini 4 Argon claims #1 rank on Finance Agent (v2) with 65.4% • 2026-10-13MODELGoogle launches Gemini 4 Argon with 1M-token output limit and native multimodal reasoning • 2026-10-06MODELAnthropic completes Claude 5.5 generation with Claude Haiku 5.5, Opus 5.5, and Sonnet 5.5 • 2026-10-20UPDATEPlatform updated: 52 models tracked across 42 independent benchmarks including CorpFin • 2026-10-20BENCHCorpFin added to benchmark suite — long credit agreement comprehension evaluations live • 2026-10-19MODELClaude Sonnet 5.5 and Opus 5.5 achieve 75.9% and 75.8% on Excel Modeling Benchmark v1.1 • 2026-10-19MODELTax Agent Bench updated: Claude Fable 5.1 (49.2%) and Gemini 4 Argon (44.6%) lead corporate tax research • 2026-10-18MODELGemini 4 Argon claims #1 rank on Finance Agent (v2) with 65.4% • 2026-10-13MODELGoogle launches Gemini 4 Argon with 1M-token output limit and native multimodal reasoning • 2026-10-06MODELAnthropic completes Claude 5.5 generation with Claude Haiku 5.5, Opus 5.5, and Sonnet 5.5 •
Tier 3numericalverification

ProofBench v1.1

Formal mathematical theorem proving and step-by-step rigorous logical deduction.

Variable tasks
13 models evaluated
Updated 2026
99.0%
Top Score
Top model
Claude Opus 5

Model Rankings

financebenchmark.ai · ProofBench
Anthropic logo
Anthropic logo
OpenAI logo
DeepSeek logo
Moonshot AI logo
Anthropic logo
OpenAI logo
OpenAI logo
xAI logo
Thinking Machines logo
Thinking Machines logo
Meta logo
Alibaba logo
95.0%
🥇Anthropic logoAnthropicClaude Opus 599.0%
🥈Anthropic logoAnthropicClaude Sonnet 577.0%
🥉OpenAI logoOpenAIGPT-5.6 Sol83.0%
4DeepSeek logoDeepSeekDeepSeek V4 FlashOPEN56.0%
5Moonshot AI logoMoonshot AIKimi K3OPEN87.0%
6Anthropic logoAnthropicClaude Fable 595.0%
7OpenAI logoOpenAIGPT-5.6 Luna60.0%
8OpenAI logoOpenAIGPT-5.6 Terra71.0%
9xAI logoxAIGrok 4.531.0%
10Thinking Machines logoThinking MachinesInklingOPEN0.0%
11Thinking Machines logoThinking MachinesInkling SmallOPEN6.0%
12Meta logoMetaMuse Spark 1.243.0%
13Alibaba logoAlibabaQwen 3.8 MaxOPEN58.0%
Full Results Table
#ModelOverallSourceDate
🥇
Anthropic logoClaude Opus 5
Anthropic
99.0VALS (2026)2026-07
🥈
Anthropic logoClaude Fable 5
Anthropic
95.0VALS (2026)2026-06
🥉
Moonshot AI logoKimi K3OPEN
Moonshot AI
87.0VALS (2026)2026-07
4
OpenAI logoGPT-5.6 Sol
OpenAI
83.0VALS (2026)2026-07
5
Anthropic logoClaude Sonnet 5
Anthropic
77.0VALS (2026)2026-06
6
OpenAI logoGPT-5.6 Terra
OpenAI
71.0VALS (2026)2026-07
7
OpenAI logoGPT-5.6 Luna
OpenAI
60.0VALS (2026)2026-07
8
Alibaba logoQwen 3.8 MaxOPEN
Alibaba
58.0VALS (2026)2026-08
9
DeepSeek logoDeepSeek V4 FlashOPEN
DeepSeek
56.0VALS (2026)2026-07
10
Meta logoMuse Spark 1.2
Meta
43.0VALS (2026)2026-08
11
xAI logoGrok 4.5
xAI
31.0VALS (2026)2026-07
12
Thinking Machines logoInkling SmallOPEN
Thinking Machines
6.0VALS (2026)2026-07
13
Thinking Machines logoInklingOPEN
Thinking Machines
0.0VALS (2026)2026-07