Equation 3 · Part 5 · OpenAI and Claude on Formal Reasoning: What the Benchmarks Show, and Where They Mislead
subtraction
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.
Full expression→subtraction→Article meaning
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 . 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…
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.