← Back to article

Equation 3 · OpenAI and Claude on Formal Reasoning: What the Benchmarks Show, and Where They Mislead

What does this equation mean?

pk=1−(1−p)k,p_k = 1 - (1-p)^k,

Read the formula alongside the article passage below. Each part has a deeper page with its role in the equation, the supporting passage and nearby citations.

Inputs and operations1 - (1-p)^k
Result or conditionp_k
How to read the two sides of this formula. Follow the article passage for the meaning of each quantity.

This equation states an equality: the expressions on both sides have the same value under the article’s assumptions. Read the equation part by part below; each part has a contextual explanation and a link to its mathematical background.

Read it piece by piece

pkp_k

Symbol p_k

the probability that at least one succeeds.

Understand this part →

pp

Symbol p

the probability.

Understand this part →

kk

Symbol k

k is part of the quantity the equation computes from the expression on the right.

Understand this part →

=

=

The expressions on both sides represent the same quantity under the stated assumptions.

Understand this part →

See an illustrated explanation →
subtraction

subtraction

Subtract the following term or group from the preceding one. A leading minus marks a negative quantity.

Understand this part →

subscript

subscript

The lower label selects a particular version, component, or indexed member of the quantity. For example, x₀ and xₜ can be values at different positions.

Understand this part →

superscript

superscript

A raised number can be a power. When it is a label or bound, it selects a case or the upper limit of a sum; the formula’s structure distinguishes these uses.

Understand this part →

See an illustrated explanation →

How to interpret it

Read it with the definitions, units, and assumptions supplied by the article.

What the article says around this equation

Consider what the o1 numbers alone expose about how these gains are produced. If a single attempt at a problem succeeds with probability p , and k attempts were independent, the probability that at least one succeeds is pk=1−(1−p)kp_k = 1 - (1-p)^k. a curve that climbs fast and then saturates. It is tempting to read o1’s jump from 74% (one sample) to 83% (64-sample consensus) to 93% (1,000-sample rerank) as roughly this shape. It is not, for two reasons that matter for how the number should be read. First, repeated attempts by one model on one problem are correlated — the same misconception that causes one failure tends to recur — so the realised gain from added samples falls well below what…
Read the full surrounding passage
Consider what the o1 numbers alone expose about how these gains are produced. If a single attempt at a problem succeeds with probability p , and k attempts were independent, the probability that at least one succeeds is pk=1−(1−p)kp_k = 1 - (1-p)^k. a curve that climbs fast and then saturates. It is tempting to read o1’s jump from 74% (one sample) to 83% (64-sample consensus) to 93% (1,000-sample rerank) as roughly this shape. It is not, for two reasons that matter for how the number should be read. First, repeated attempts by one model on one problem are correlated — the same misconception that causes one failure tends to recur — so the realised gain from added samples falls well below what independence would predict. Second, the improvement from 83% to 93% is not sampling alone: it required “a learned scoring function” [ 1 ] to pick the right answer out of 1,000 candidates, which is itself a second trained system doing real work, not a free byproduct of asking the model to try more times. The same logic applies to Anthropic’s “internal scoring model” for selecting among parallel attempts [ 4 ] . In both cases, a benchmark score produced this way is a property of model plus sampling budget plus selector , not of the base model’s reasoning in isolation — which is exactly why both companies now report the configuration alongside the score rather than the score alone.

Read the equation in its article →

Sources cited in the surrounding passage

These citations give research context. Read each source to check which claims it supports.

Return to OpenAI and Claude on Formal Reasoning: What the Benchmarks Show, and Where They Mislead

See this formula across 3 published contexts →

Browse the mathematical compendium →