Probability and statistical mechanics·OpenAI Math·Result 234·Lean formalisation listed

All-temperature pressure of orthogonally invariant Ising spin glasses

One of the 372 results in OpenAI's public mathematics catalogue, filed under probability and statistical mechanics: 1 preprint, the latest dated 25 September 2026. This page quotes OpenAI's own summary of the claim, links the paper and abstract, and embeds the animation.

In one line: OpenAI reports a result titled ‘All-temperature pressure of orthogonally invariant Ising spin glasses’ (probability and statistical mechanics) in a preprint dated 25 September 2026. It has not been peer reviewed. The channel's animation, Every OpenAI Math Result, Part 2 of 4: PCP for PPAD, Birkhoff Conjecture and 82 More, is on YouTube.

Compilation · 29:10 · 14 October 2026 · from 20:06Watch on YouTube →

Subscribe on YouTube

Chapter 59 of 84 in Every OpenAI Math Result, Part 2 of 4: PCP for PPAD, Birkhoff Conjecture and 82 More · starts at 20:06 · watch from there on YouTube →

What OpenAI claims

Gives an exact variational formula for the limiting pressure of orthogonally invariant Ising spin glasses at every fixed temperature, both almost surely and in expectation. The coupling matrix is a Haar-random rotation of a deterministic spectrum converging to a compactly supported law, with extreme eigenvalues converging to its support edges. The zero-field ground-state energy follows as temperature tends to zero. (Lean)

Paper

  1. All-temperature pressure for orthogonally invariant Ising spin glasses

    · Preprint, not peer reviewed · PDF

    OpenAI's abstract We determine the limiting pressure of an Ising spin glass with Haar orthogonal eigenvectors, a compact limiting spectral law, and no asymptotic outliers, at every fixed temperature. The pressure converges in expectation and almost surely to a variational formula. We also give the limiting pressure with deterministic external fields whose empirical laws converge in first-moment transport distance, and derive a formula for the zero-field ground-state energy by taking temperature to zero.

Status

Preprint. The paper has not been independently reviewed. Treat the result as OpenAI's claim until other mathematicians have checked it. If a video exists, it illustrates the statement; it is not the proof.

Quick answers

Is it proven?
Not independently yet. OpenAI posted a preprint on 25 September 2026; it has not been peer reviewed, so treat the result as OpenAI's claim until other mathematicians have checked it.
What exactly does OpenAI claim?
Gives an exact variational formula for the limiting pressure of orthogonally invariant Ising spin glasses at every fixed temperature, both almost surely and in expectation. The coupling matrix is a Haar-random rotation of a deterministic spectrum converging to a compactly supported law, with extreme eigenvalues converging to its support edges. The zero-field ground-state energy follows as temperature tends to zero. (Lean)
Is there a video?
Yes, on YouTube (29:10, chapter 59).

Also in

The video

Every OpenAI Math Result, Part 2 of 4: PCP for PPAD, Birkhoff Conjecture and 82 More · Compilation · 29:10 · chapter 59 from 20:06 · description, sources and chapters →

Related results in Probability and statistical mechanics

All 29 results in Probability and statistical mechanics →