Existential Theory of the Reals: How OpenAI Proved a Counting Hierarchy Bound Without Building Giant Matrices
A matrix with 5n5^n rows is a peculiar starting point for avoiding enormous computations. OpenAI’s October 4, 2026 preprint does exactly that: it uses the matrix mathematically, then computes the information it needs without constructing it. The resulting Existential Theory of the Reals proof places exact polynomial feasibility in a fixed level of the counting … Read more