Equation 1 · OpenAI and Claude on Formal Reasoning: What the Benchmarks Show, and Where They Mislead
What does this equation mean?
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.
the probability. 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
How to interpret it
Read this expression 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
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 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