← All parts of this equation

Equation 2 · Part 3 · What We Still Cannot Do: Open Problems in Frontier Model Systems

=

Pr⁡(correct∣c^=c)≈c\Pr(\text{correct} \mid \hat{c} = c) \approx c
=

What this part means

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

Its job in the formula

The equals sign connects the complete expression on the left with the complete expression on the right. Both sides must have compatible units.

The passage around this formula

The structural difficulty is that a next-token distribution is not an epistemic state. A model trained to maximise likelihood over text produces a confident-sounding continuation because confident-sounding continuations are what the corpus contains, not because it has assessed its own evidence. Calibration can be measured — for a predicted confidence c one can ask whether Pr⁡(correct∣c^=c)≈c\Pr(\text{correct} \mid \hat{c} = c) \approx c. holds across bins — and it can be improved by post-hoc adjustment. What has not been demonstrated is a mechanism by which a model represents its own ignorance in a way that survives fine-tuning, distribution shift, and the pressure of an objective that rewards answering.

Read this part in the article →

Learn the underlying idea

An equals sign says that the expression on its left and the expression on its right have the same value under the stated definitions and assumptions.

Open the illustrated equality: what the equals sign claims guide →

Sources cited in the article section

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