Equation 2 · Part 1 · OpenAI and Claude on Formal Reasoning: What the Benchmarks Show, and Where They Mislead
Symbol k
What this part means
k is a part of this expression. Its role is fixed by the surrounding article and by the operations shown in the formula.
Its job in the formula
k is a part of this expression. Its role is fixed by the surrounding article and by the operations shown in the formula.
Full expression→Symbol k→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
Learn the underlying idea
A variable is a named place for a value. Its letter is a local label: x can mean position in one formula and a data point in another.
Open the illustrated variables: a letter stands for a value guide →
See this notation across published equations →
Sources cited in the article section
- [2] GPT-5 System Card ↗
- [18] GPT-5 Leads in Key Math Reasoning Benchmarks ↗
- [1] OpenAI o1 System Card ↗
- [4] Introducing Claude 4 ↗
These citations provide research context; check each source for the exact claim it supports.