← All parts of this equation

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

subtraction

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

What this part means

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

Its job in the formula

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

The passage around this formula

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 this part in the article →

Learn the underlying idea

Addition combines quantities; subtraction measures the signed difference between them. Parentheses show what is combined before the rest of the expression is evaluated.

Open the illustrated addition and subtraction in an equation guide →

Sources cited in the surrounding passage

These citations provide research context; check each source for the exact claim it supports.