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

Perceptron free energies and microscopic jamming exponents

One of the 372 results in OpenAI's public mathematics catalogue, filed under probability and statistical mechanics: 4 preprints, the latest dated 24 September 2026. This page quotes OpenAI's own summary of the claim, links the papers and abstracts, and will embed the animation.

Latest paper

The free energy of the Ising random perceptron

24 September 2026 · PDF

The animation for this result has not been released yet. Subscribe on YouTube to catch it.

What OpenAI claims

Determines finite-temperature variational free energies for Gaussian Ising perceptrons with bounded Borel log-potentials and Gaussian spherical perceptrons with bounded continuous potentials, at every positive pattern density. A spherical extension treats bi-orthogonally invariant disorder with compact limiting singular-value distributions and no outliers. At margin −1, the quadratic-penalty spherical model has a sharp feasibility threshold and limiting gap and force laws, with system size, zero temperature, and critical density taken in that order. (Lean)

Papers (4)

  1. The free energy of the Ising random perceptron

    · Preprint, not peer reviewed · PDF

    We determine the limiting free energy of the Ising perceptron with independent Gaussian patterns for every bounded Borel log-potential, at every fixed positive temperature and pattern density. We give an explicit variational formula for the limit and prove convergence in expectation and probability.

  2. Microscopic jamming in the negative spherical perceptron

    · Preprint, not peer reviewed · PDF

    We prove a sharp feasibility threshold and limiting gap and force laws for the spherical perceptron with margin −1 and quadratic penalty. The limits are taken successively in system size, inverse temperature, and density approaching the threshold from above. They agree for Gaussian coordinates and for the equal mixture of centered Gaussian coordinates with variances 1-ε and 1+ε, for every sufficiently small fixed ε. The contact-removed gap cumulative law and the mean-one force cumulative law satisfy

  3. The spherical perceptron with bi-orthogonally invariant disorder

    · Preprint, not peer reviewed · PDF

    We determine the limiting free energy of a spherical perceptron with a bounded continuous activation and a bi-orthogonally invariant disorder matrix. The singular values may have any compact limiting distribution, provided there are no outliers. We give an explicit variational formula for this limit.

  4. The free energy of the spherical random perceptron

    · Preprint, not peer reviewed · PDF

    We prove an exact variational formula for the limiting pressure of the spherical random perceptron with an arbitrary bounded continuous single-pattern potential. The formula holds at every fixed positive density and inverse temperature, with convergence in expectation and in probability.

Status

Preprint. The papers have 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 →