Probability and statistical mechanics·OpenAI Math·Result 218·Lean formalisation listed
Conformal universality for weakly interacting and random-bond Ising models
One of the 372 results in OpenAI's public mathematics catalogue, filed under probability and statistical mechanics: 6 preprints, the latest dated 5 October 2026. This page quotes OpenAI's own summary of the claim, links the papers and abstracts, and embeds the animation.
In one line: OpenAI reports a result titled ‘Conformal universality for weakly interacting and random-bond Ising models’ (probability and statistical mechanics) in 6 preprints, the latest dated 5 October 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 50 of 84 in Every OpenAI Math Result, Part 2 of 4: PCP for PPAD, Birkhoff Conjecture and 82 More · starts at 16:59 · watch from there on YouTube →
What OpenAI claims
Weak finite-range square-symmetric even multispin perturbations of the square-lattice Ising model preserve critical bulk spin and energy limits; weak square-symmetric contour interactions also yield chordal SLE3 interface limits. With sufficiently weak iid bond disorder of any fixed bounded nondegenerate mean-zero law, critical spin interfaces converge to the same law in probability over environments. (Lean)
Papers (6)
Quenched SLE₃ limits for general weak random-bond Ising models
OpenAI's abstract For the planar Ising model with bonds Je=1+εξe, where the ξe have any fixed bounded, nondegenerate, mean-zero iid law, we prove quenched chordal SLE3 convergence for sufficiently small ε > 0. The temperature is the spontaneous-magnetization threshold. Convergence holds in probability over environments for the full oriented curve law in deterministic Jordan-domain approximations.
Quenched SLE₃ Universality for the Weak Random-Bond Ising Model
OpenAI's abstract We prove quenched chordal SLE3 convergence for the planar Ising model with sufficiently weak independent symmetric two-valued ferromagnetic bonds. The temperature is the critical point defined by spontaneous magnetization. Convergence holds in probability over environments for the full oriented curve law in deterministic Jordan-domain approximations.
Logarithmic Relative Fluctuations in the Weakly Disordered Planar Ising Model
OpenAI's abstract Assuming the stated deterministic critical-reference estimates, we prove that the relative second moment of the quenched critical spin correlation in the square-lattice Ising model with independent fair bonds 1±ε grows as (log r)1/4+o(1) for each sufficiently small fixed ε > 0. The correlation is evaluated at the physical critical temperature, with the thermodynamic limit taken before the disorder moments and the large-distance limit.
Conformal universality of bulk Ising correlations under weak interactions
OpenAI's abstract We prove conformal universality of mixed bulk spin and energy correlations for the square-lattice Ising model with sufficiently small, square-symmetric, finite-range even multispin perturbations of either sign. One critical-temperature branch and two field normalizations apply in every bounded simply connected C2 Jordan domain with free, plus, or minus boundary conditions, and in the periodic thermodynamic plane state. Energies are centered in their actual states.
SLE3 universality for weak finite-range Ising interactions
OpenAI's abstract We prove that every sufficiently small, square-symmetric finite-range perturbation of the planar Ising contour energy has a domain-independent inverse temperature at which its spin interface converges to chordal SLE3. The result allows interactions of either sign, arbitrary admissible exterior contours, and uniformly approximated Jordan domains. Convergence holds for the full oriented curve law in uniform distance modulo increasing reparametrization.
Buffered comparison and stopping-band resolution in critical Ising
OpenAI's abstract We prove pointwise comparison and finite stopping-band approximation theorems for the critical nearest-neighbor Ising model on the square lattice. Arbitrary common pinned spins are allowed in the comparison: the likelihood ratio is controlled by a zero-field FK connection probability on the graph with those vertices deleted. For an interface exploration across a band of fixed positive width, finitely many regular signed barriers approximate every good conditional target law in total variation, uniformly over bounded observables and sufficiently fine meshes.
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.
Quick answers
- Is it proven?
- Not independently yet. OpenAI posted 6 preprints, the latest dated 5 October 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?
- Weak finite-range square-symmetric even multispin perturbations of the square-lattice Ising model preserve critical bulk spin and energy limits; weak square-symmetric contour interactions also yield chordal SLE3 interface limits. With sufficiently weak iid bond disorder of any fixed bounded nondegenerate mean-zero law, critical spin interfaces converge to the same law in probability over environments. (Lean)
- Where is the proof?
- In the paper, Quenched SLE₃ limits for general weak random-bond Ising models (PDF).
- Is there a video?
- Yes, on YouTube (29:10, chapter 50).
Also in
- Chapter 5 of 10 in Benjamini–Schramm Conjecture, Mézard–Parisi Formula, Voronoi Percolation and 7 More · starts at 1:24 · 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 50 from 16:59 · description, sources and chapters →
Related results in Probability and statistical mechanics
- 219GOE bulk universality for regular graphs with weak Anderson disorderVideo
- 220Directional zero–one laws beyond iid environments and iid ballisticityVideoLean
- 221The Mézard–Parisi formula for diluted spin glassesVideoLean
- 222Perceptron free energies and microscopic jamming exponentsVideoLean
- 223Random-cluster interfaces: critical, disordered, thermal, and natural-time scalingVideo
- 224Critical and quenched near-critical universality for Poisson–Voronoi percolationVideo