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

25 September 2026 · PDF

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

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

    · Preprint, not peer reviewed · PDF

    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

All 29 results in Probability and statistical mechanics →