---
title: "ProofBench v1.1 - Benchmark Evaluation - FinanceBenchmark"
description: "Formal mathematical theorem proving and step-by-step rigorous logical deduction."
canonical: "https://financebenchmark.ai/benchmarks/proofbench-v1-1"
type: "text/markdown"
---
# ProofBench v1.1

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

## Table of Contents
- [1. Specifications & Metadata](#specifications)
- [2. Model Rankings on this Benchmark](#rankings)
- [3. Source Attribution & Citation](#attribution)

## 1. Specifications & Metadata {#specifications}

- **Slug:** `proofbench-v1-1`
- **Domain Categories:** numerical, verification
- **Composite Weight:** 10 (Tier 3)
- **Task Count:** Variable
- **Source / Publisher:** VALS (2026)

## 2. Model Rankings on this Benchmark {#rankings}

| Rank | Model | Organization | Overall | Eval Date | Source |
|:----:|:------|:-------------|:---:|:---------:|:------:|
| 1 | [Claude Opus 5](https://financebenchmark.ai/models/claude-opus-5.md) | Anthropic | **99.0** | 2026-07 | [Ref](https://vals.ai) |
| 2 | [Claude Fable 5](https://financebenchmark.ai/models/claude-fable-5.md) | Anthropic | **95.0** | 2026-06 | [Ref](https://vals.ai) |
| 3 | [Kimi K3](https://financebenchmark.ai/models/kimi-k3.md) | Moonshot AI | **87.0** | 2026-07 | [Ref](https://vals.ai) |
| 4 | [GPT-5.6 Sol](https://financebenchmark.ai/models/gpt-5-6-sol.md) | OpenAI | **83.0** | 2026-07 | [Ref](https://vals.ai) |
| 5 | [Claude Sonnet 5](https://financebenchmark.ai/models/claude-sonnet-5.md) | Anthropic | **77.0** | 2026-06 | [Ref](https://vals.ai) |
| 6 | [GPT-5.6 Terra](https://financebenchmark.ai/models/gpt-5-6-terra.md) | OpenAI | **71.0** | 2026-07 | [Ref](https://vals.ai) |
| 7 | [GPT-5.6 Luna](https://financebenchmark.ai/models/gpt-5-6-luna.md) | OpenAI | **60.0** | 2026-07 | [Ref](https://vals.ai) |
| 8 | [Qwen 3.8 Max](https://financebenchmark.ai/models/qwen-3-8-max.md) | Alibaba | **58.0** | 2026-08 | [Ref](https://vals.ai) |
| 9 | [DeepSeek V4 Flash](https://financebenchmark.ai/models/deepseek-v4-flash.md) | DeepSeek | **56.0** | 2026-07 | [Ref](https://vals.ai) |
| 10 | [Muse Spark 1.2](https://financebenchmark.ai/models/muse-spark-1-2.md) | Meta | **43.0** | 2026-08 | [Ref](https://vals.ai) |
| 11 | [Grok 4.5](https://financebenchmark.ai/models/grok-4-5.md) | xAI | **31.0** | 2026-07 | [Ref](https://vals.ai) |
| 12 | [Inkling Small](https://financebenchmark.ai/models/inkling-small.md) | Thinking Machines | **6.0** | 2026-07 | [Ref](https://vals.ai) |
| 13 | [Inkling](https://financebenchmark.ai/models/inkling.md) | Thinking Machines | **0.0** | 2026-07 | [Ref](https://vals.ai) |

## 3. Source Attribution & Citation {#attribution}

All scores for ProofBench v1.1 are derived directly from published literature or reproducible evaluation harnesses.
To submit updated evaluations, email [submit@financebenchmark.ai](mailto:submit@financebenchmark.ai).