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.
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
All-temperature pressure for orthogonally invariant Ising spin glasses
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)
- Where is the proof?
- In the paper, All-temperature pressure for orthogonally invariant Ising spin glasses (PDF).
- Is there a video?
- Yes, on YouTube (29:10, chapter 59).
Also in
- Chapter 4 of 9 in Six-Vertex Model, Lipschitz Heights, The O(3) Model Continuum Limit and 6 More · starts at 1:02 · watch from there on YouTube →
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
- 235Limiting random SAT thresholds, sharp variance and computabilityVideoLean
- 236The exact factor-of-IID threshold for free Ising spins on treesVideoLean
- 237The three-quarter exponent for honeycomb self-avoiding walkVideoLean
- 238Optimal logarithmic mixing of the Thorp shuffleVideoLean
- 239Sharp singularity rates for symmetric random sign matricesVideo
- 211The geometric phase diagram, diffusion, and spectra of random planar mapsVideoLean