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 will embed the animation.
Latest paper
All-temperature pressure for orthogonally invariant Ising spin glasses
The animation for this result has not been released yet. Subscribe on YouTube to catch it.
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
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.
Related results in Probability and statistical mechanics
- 235Limiting random SAT thresholds, sharp variance and computabilityLean
- 236The exact factor-of-IID threshold for free Ising spins on treesLean
- 237The three-quarter exponent for honeycomb self-avoiding walkVideoLean
- 238Optimal logarithmic mixing of the Thorp shuffleLean
- 239Sharp singularity rates for symmetric random sign matrices
- 211The geometric phase diagram, diffusion, and spectra of random planar mapsLean