Mathematical physics·OpenAI Math·Result 261·Lean formalisation listed
Localization and delocalization in the Anderson model
One of the 372 results in OpenAI's public mathematics catalogue, filed under mathematical physics: 2 preprints, the latest dated 23 September 2026. This page quotes OpenAI's own summary of the claim, links the papers and abstracts, and embeds the animation.
What OpenAI claims
Resolves the predicted spectral contrast for the lattice Anderson model with independent uniform site potentials. In dimension two, every positive disorder strength gives almost surely pure-point spectrum. In every fixed dimension d ≥ 3, sufficiently weak positive disorder gives purely absolutely continuous spectrum on a fixed open interval with nonzero spectral weight. (Lean)
Papers (2)
Absolutely Continuous Spectrum for Weak-Disorder Anderson Models in Dimensions at Least Three
For each fixed dimension d ≥ 3 and each fixed sufficiently small positive disorder strength, we prove that the Anderson operator on ℤd with independent uniform site potentials almost surely has purely absolutely continuous spectrum with nonzero weight on an open energy interval. The interval may depend on d but is independent of the disorder strength. This settles the purely absolutely continuous energy-range question in Simon's Problem 1 for this model.
Pure-Point Spectrum for the Two-Dimensional Anderson Model at Every Positive Disorder
For each fixed positive disorder strength, we prove that the nearest-neighbor Anderson operator on the square lattice with independent uniform site potentials almost surely has pure-point spectral type throughout its spectrum. This resolves the pure-point assertion of the two-dimensional Anderson localization conjecture for the uniform single-site law.
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.
The video
Math Sounds Broken: Quantum Buffering · Short · 0:12 · description, sources and transcript →
Related results in Mathematical physics
- 262Sharp finite-matrix Lieb–Thirring inequalities and all equality casesLean
- 263The ionization and generalized ionization conjecturesLean
- 264Strong cosmic censorship near two-ended Kerr data
- 265Area laws and tensor networks for two-dimensional gapped systems
- 266Exactly three mutually unbiased bases in dimension sixLean
- 267Positive-temperature Bose–Einstein condensation and exact quantum depletionLean