OpenAI claims Anderson localization in 2D and extended states in 3D
Awaiting review
Importance: historic (5 of 5)The takeaway
Two manuscripts in OpenAI’s 6 Oct 2026 math release (family 261, dated 23 Sept) claim the two central conjectures about electrons in a random lattice. In two dimensions, the Anderson model has pure-point spectrum, so all states are localized, at every disorder strength. In three or more dimensions, weak disorder leaves purely absolutely continuous spectrum, meaning extended states, on an energy interval. These are Barry Simon’s Problems 1 and 2 of 2000, for uniform disorder. Specialists Jakšić and Last shortened the last step of the 3D proof in an appendix, and a third party has posted a Lean formalization of the 3D result. OpenAI’s own Lean covers only the 2D spectrum’s location.
Status
- Claim
Awaiting review
- Our reporting
- Medium confidence
- Verification
- Lean proof, not yet reviewed
- Importance
- Historic (5 of 5)
- Last verified
- 29 October 2026
Your AI and this story
- GPT-6 Astra159 days after its cutoff
- Claude Opus 5.598 days after its cutoff
- Gemini 4 Argon189 days after its cutoff
- Grok 4.7128 days after its cutoff
None of these four assistants can know about it. The closest, Claude Opus 5.5, stops 98 days before it.
Key facts
- 2D (abstract, verbatim): ‘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.’
- 3D and up (verbatim): ‘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… This settles the purely absolutely continuous energy-range question in Simon’s Problem 1 for this model.’
- Context: Anderson’s 1958 model of electrons in a disordered crystal; physics (scaling theory, 1979) predicts localization at any disorder in 2D and a mobility edge in 3D. Rigorous results covered strong disorder and band edges (Fröhlich–Spencer, Aizenman–Molchanov), all disorder in 1D, and weak disorder on the Bethe lattice (Klein), but not the two central cases, which Barry Simon listed as Problems 1 and 2 in 2000
- Expert engagement: Jakšić (Politecnico di Milano) and Last (Hebrew University), ‘Extended States on the Bethe Lattice Revisited’ (arXiv 2610.11611, 8 Oct). Appendix B, ‘written on October 7, 2026… one day after OpenAI publicly released the preprint [10], claiming to prove purely absolutely continuous spectrum’, shows that their structural argument gives purity directly from the preprint’s boundary-positivity estimate (its Eq. 177)
- Third-party Lean: cadamcat/anderson-ac-lean4 (Yao Xu, ‘Developed with AI assistance’): ‘The final theorem uses only the axioms propext, Classical.choice and Quot.sound. No proof in the repository uses sorry or an added axiom.’ The statement file imports only Mathlib, with a non-vacuity check; not independently reviewed by us
- OpenAI’s Lean scope note 261 (verbatim): the formalization ‘identifies its spectrum as the real interval [−4−h, 4+h]… It does not assert the pure-point spectral type claimed in the accompanying paper.’ The challenge PlanarAndersonSpectrum was accepted in oai-math-revised’s Comparator run
What happened
In 1958 Philip Anderson showed that disorder can trap electrons: in a sufficiently random crystal, wave functions stay localized instead of spreading. Physics predicts that in two dimensions any amount of disorder localizes every state, while in three dimensions weak disorder leaves a band of extended, conducting states. Mathematicians proved localization at strong disorder, at band edges and in one dimension, and extended states on tree-like lattices. The two central cases on the ordinary lattice stayed open. Barry Simon put them first and second on his 2000 list of open problems for Schrödinger operators.
OpenAI’s release claims both, for the standard model with uniformly distributed random potentials. Two days after the release, Vojkan Jakšić and Yoram Last, who had just written a new proof of the tree-lattice result, added an appendix showing that their method shortens the 3D paper’s final step from a boundary estimate to pure absolute continuity. They describe the preprint as “claiming to prove” the result and do not assess the rest of it. A separate developer, Yao Xu, has published a Lean 4 formalization of the 3D theorem that he says uses no unproved steps. OpenAI’s own formal proof for the family covers only the location of the 2D spectrum.
Why it matters
Anderson localization underlies the physics of disordered metals and insulators, and these two statements are its best-known open mathematical problems. If correct, the release settles both for the uniform model. The 3D claim has more support (an expert appendix and a third-party formal proof). The 2D localization claim rests on the manuscript alone, and we found no public assessment by specialists as of 29 Oct.
What is disputed or not yet verified
| Verification | Unrefereed manuscripts; 3D theorem formalized in a third-party Lean project (statement fidelity unreviewed); 2D pure-point claim unformalized |
|---|
Sources
6 sources from 2 sites. Numbers match the chips in the text.
6 sources: 5 primary, 1 reaction
Primary
- OpenAI: Pure-Point Spectrum for the Two-Dimensional Anderson Model at Every Positive Disorder (PDF)github.com, paper
- OpenAI: Absolutely Continuous Spectrum for Weak-Disorder Anderson Models in Dimensions at Least Three (PDF)github.com, paper
- Jakšić, Last: Extended States on the Bethe Lattice Revisited (arXiv 2610.11611, Appendix B on the OpenAI preprint)arxiv.org, paper
- cadamcat/anderson-ac-lean4: Lean 4 formalization of the 3D theorem (Yao Xu)github.com, code
- OpenAI Lean scope note 261 (2D spectrum only)github.com, code
Reactions
- oai-math-revised: community notes on the 3D manuscriptgithub.com, discussion
Changes
- Filed (families 251–378; both abstracts, Lean scope note, Jakšić–Last paper and appendix read, anderson-ac-lean4 README, oai-math-revised notes)