Mathematical physics·OpenAI Math·Result 269·Lean formalisation listed
Uniform Laughlin gap and stability under bounded scalar disorder
One of the 372 results in OpenAI's public mathematics catalogue, filed under mathematical physics: 2 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 proof of Uniform Laughlin gap and stability under bounded scalar disorder (mathematical physics) in 2 preprints, the latest dated 5 October 2026. It has not been peer reviewed. The channel's animation, Every OpenAI Math Result, Part 4 of 4: L = BPL, Integer Multiplication and 82 More, is on YouTube.
Chapter 55 of 84 in Every OpenAI Math Result, Part 4 of 4: L = BPL, Integer Multiplication and 82 More · starts at 18:45 · watch from there on YouTube →
What OpenAI claims
Proves the fermionic Laughlin spectral-gap conjecture for the full V1 interaction at filling 1/3 on the round sphere. The unique ground state remains uniformly gapped under sufficiently weak bounded real scalar one-body potentials projected to the lowest Landau level. Both the gap and disorder threshold are uniform over all sufficiently large particle numbers and all normalized potential profiles. (Lean)
Papers (2)
Uniform Stability of the Spherical Laughlin Gap
OpenAI's abstract We prove that the fermionic Laughlin V1 Hamiltonian at filling 1/3 on expanding round spheres retains a unique ground state and a uniform spectral gap under sufficiently weak bounded real scalar one-body potentials projected to the lowest Landau level. With coefficient one for each pair projector and Laughlin flux q=3(N-1), the gap and perturbation threshold are uniform for all sufficiently large particle numbers and all potential profiles of supremum norm at most one. The result uses the uniform unperturbed Fock-space gap and gives existential constants.
A Fock-space inequality and the Laughlin spectral gap
OpenAI's abstract We prove the spherical fermionic Laughlin spectral-gap conjecture for the full V1 interaction. With coefficient one for each pair projector, the gap above the Laughlin state at filling 1/3 on the round sphere is at least 1/25 for all sufficiently large systems. More generally, HQ2 ≥ γ HQ for some fixed γ > 1/25 on the entire lowest-Landau-level Fock space for all sufficiently large flux Q, independently of particle number.
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 2 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?
- Proves the fermionic Laughlin spectral-gap conjecture for the full V1 interaction at filling 1/3 on the round sphere. The unique ground state remains uniformly gapped under sufficiently weak bounded real scalar one-body potentials projected to the lowest Landau level. Both the gap and disorder threshold are uniform over all sufficiently large particle numbers and all normalized potential profiles. (Lean)
- Where is the proof?
- In the paper, Uniform Stability of the Spherical Laughlin Gap (PDF).
- Is there a video?
- Yes, on YouTube (29:10, chapter 55).
Also in
- Chapter 6 of 9 in QAOA Reaches the SK Optimum, Laughlin Spectral Gap Conjecture and 7 More · starts at 1:46 · watch from there on YouTube →
The video
Every OpenAI Math Result, Part 4 of 4: L = BPL, Integer Multiplication and 82 More · Compilation · 29:10 · chapter 55 from 18:45 · description, sources and chapters →
Related results in Mathematical physics
- 270Threshold and positive-energy bound states of the BFSS matrix modelVideo
- 271Bloch's law, its lattice correction, and the spherical magnetization lawVideoLean
- 272Entanglement without distillable secret keyVideoLean
- 273The entropy photon-number inequalityVideoLean
- 274Parity is not in QAC0VideoLean
- 275QMA-hardness of continuum Coulomb energyVideoLean