---
id: "2026-10-06-openai-heisenberg-ferromagnet-bose-einstein-condensation"
url: "https://postcutoff.com/e/2026-10-06-openai-heisenberg-ferromagnet-bose-einstein-condensation/"
as_of: "2026-10-30T13:42:00+01:00"
date: "2026-10-06"
date_precision: day
category: science
importance: 5
confidence: medium
status: [Awaiting review]
verification: Peer-reviewed
sources: 8
editor: human editor
human_review: null
version: "2026-10-29"
---

As of: 2026-10-30 13:42 CET.
Researched and written by AI agents (Claude Opus 5.5 in Claude Code), with a human editor. How we work: https://postcutoff.com/about/
Canonical page: https://postcutoff.com/e/2026-10-06-openai-heisenberg-ferromagnet-bose-einstein-condensation/

# OpenAI claims quantum ferromagnet order and interacting Bose condensation

Full title: OpenAI's release claims spontaneous magnetization of the 3D quantum Heisenberg ferromagnet and Bose–Einstein condensation in the dilute hard-sphere gas, with Lean proofs of the core statements

"Spontaneous magnetization in the quantum Heisenberg ferromagnet" (24 Sept 2026) claims, for every d ≥ 3 and spin S, a translation-invariant β-KMS state with magnetization ≥ S/4 at every sufficiently low positive temperature. Three Oct 5 companions claim Bloch's T^{3/2} law with its exact coefficient, its first lattice correction and a spherical magnetization law. "Ground-state condensation in the dilute hard-sphere gas" (24 Sept) claims a positive condensate fraction in every ground state at fixed small gas parameter in the thermodynamic limit; an Oct 5 paper claims condensation at a positive temperature, and two more claim Bogoliubov's quantum-depletion law. Lean: the magnetization theorem (challenge 'Heisenberg') and ground-state condensation ('HardSphere') were accepted in oai-math-revised's Comparator run; the positive-temperature and Bloch-law papers are not formalized.

## Key facts
- Magnetization (abstract, verbatim): 'For every dimension d ≥ 3 and every spin S ∈ {1/2, 1, 3/2, …}, we prove that the nearest-neighbor isotropic quantum Heisenberg ferromagnet has a translation-invariant, spontaneously magnetized equilibrium state at every sufficiently low positive temperature. The same state satisfies the KMS condition for the zero-field dynamics and has magnetization at least S/4.'
- Why it was open (paper's history): Mermin–Wagner rules out such order in d = 1, 2; Fröhlich–Simon–Spencer proved ordering for classical spins and Dyson–Lieb–Simon for the quantum antiferromagnet in d ≥ 3, but 'The corresponding ferromagnetic problem resisted this approach: the reflection-positivity argument does not provide the needed ferromagnetic Duhamel infrared bound'
- Bloch's law (Oct 5, verbatim): 'We prove Bloch's T^{3/2} law for the spontaneous magnetization of three-dimensional quantum Heisenberg ferromagnets at every fixed positive quantum spin… The leading magnetization deficit has the exact coefficient determined by the determinant of the quadratic one-magnon dispersion.'
- Bose gas (abstracts, verbatim): 'We prove Bose–Einstein condensation in every ground state of a dilute three-dimensional hard-sphere Bose gas' (24 Sept) and 'there is a strictly positive temperature, independent of the volume, at which the exact canonical Gibbs state has a positive condensate fraction in the thermodynamic limit' (5 Oct). The 24 Sept paper cites Solovej's 2025 survey, which 'identifies fixed-density ground-state condensation as a major open problem'
- Prior results (as the papers recount them) proved condensation only in scaling limits where the interaction weakens as the volume grows, e.g. Lieb–Seiringer's trapped Gross–Pitaevskii theorem and Deuchert–Seiringer's homogeneous positive-temperature theorem
- Lean (scope notes 271 and 267): spontaneous magnetization for all d ≥ 3 and all S, with a KMS state of magnetization ≥ S/4; ground-state condensation for ρa³ < ε₀, 'without a positive-temperature assertion'. Both challenges accepted by oai-math-revised's Comparator run of 25–26 Oct (standard axioms only)
- OpenAI released an abridged reasoning summary for family 271; its prompt asks the model to 'Prove or refute' the existence of such a magnetized state. Scientific American (8 Oct, 'Einstein's Baby'): 'OpenAI's model extended the prediction to a case with interactions. It used similar techniques to prove a major conjecture about the math of ferromagnetism—one that the famous mathematical physicist Freeman Dyson erroneously claimed with two collaborators in 1976.'

## What happened

Two phenomena taught in every statistical-physics course had no rigorous proof for their standard interacting models. The first is
ferromagnetic order: in three or more dimensions, the quantum Heisenberg model of a magnet should keep a net magnetization at low
temperature. Dyson, Lieb and Simon proved the analogous statement for the antiferromagnet in 1978, but their method does not work for
the ferromagnet. The second is Bose–Einstein condensation of an interacting gas. A dilute gas of repelling bosons should put a fixed
fraction of its particles into one quantum state, but proofs existed only in scaling limits where the interaction fades as the system
grows.

OpenAI's release claims both. Family 271 constructs magnetized equilibrium states for every spin in every dimension d ≥ 3 and adds
Bloch's T^{3/2} law for how the magnetization drops with temperature, with its exact coefficient. Family 267 proves condensation in
every ground state of the dilute hard-sphere gas, then at a fixed positive temperature, and derives Bogoliubov's formula for the
"quantum depletion" outside the condensate. The core magnetization and ground-state statements are formalized in Lean. An
independent Comparator run accepted both. OpenAI chose family 271 as one of ten for which it published a summary of the model's
reasoning.

## Why it matters

If correct, these settle two flagship problems of mathematical physics, both decades old. The Lean proofs mean the core claims can
be checked by machine. What remains is whether the formal models (KMS states, the hard-sphere Hamiltonian, the thermodynamic limit)
match the physics. That needs specialists, and we found none who had published an assessment as of 29 Oct. The positive-temperature
and Bloch-law papers rest on the manuscripts alone.

## What is disputed or not yet verified

- Verification: Lean 4 proofs of the magnetization and ground-state condensation theorems accepted by an independent Comparator run; the positive-temperature, Bloch-law and depletion papers are unformalized; all unrefereed; no expert assessment published

## Your AI and this story

- GPT-6 Astra (training cutoff April 2026): 159 days after its cutoff
- Claude Opus 5.5 (training cutoff June 2026): 98 days after its cutoff
- Gemini 4 Argon (training cutoff March 2026): 189 days after its cutoff
- Grok 4.7 (training cutoff May 2026): 128 days after its cutoff

## Sources

1. [OpenAI: Spontaneous magnetization in the quantum Heisenberg ferromagnet (24 Sept 2026, PDF)](https://github.com/openai/math/blob/main/preprints/Spontaneous-magnetization-in-the-quantum-Heisenberg-ferromagnet-September-24-2026/paper.pdf) (github.com, paper)
2. [OpenAI: Bloch's Law for Finite-Range Heisenberg Ferromagnets in Three Dimensions (5 Oct 2026, PDF)](https://github.com/openai/math/blob/main/preprints/Blochs-Law-for-Finite-Range-Heisenberg-Ferromagnets-in-Three-Dimensions-October-5-2026/bloch-law-heisenberg.pdf) (github.com, paper)
3. [OpenAI: Ground-state condensation in the dilute hard-sphere gas (24 Sept 2026, PDF)](https://github.com/openai/math/blob/main/preprints/Ground-state-condensation-in-the-dilute-hard-sphere-gas-September-24-2026/paper.pdf) (github.com, paper)
4. [OpenAI: Bose–Einstein condensation at positive temperature in the dilute hard-sphere gas (5 Oct 2026, PDF)](https://github.com/openai/math/blob/main/preprints/Bose-Einstein-condensation-at-positive-temperature-in-the-dilute-hard-sphere-gas-October-5-2026/positive-temperature-hard-spheres.pdf) (github.com, paper)
5. [OpenAI: reasoning summary, spontaneous magnetization (PDF)](https://github.com/openai/math/blob/main/reasoning_traces/spontaneous-magnetization-quantum-heisenberg-ferromagnet.pdf) (github.com, official)
6. [OpenAI Lean scope notes 271 and 267](https://github.com/openai/math/blob/main/lean/docs/271.md) (github.com, code)
7. [oai-math-revised: Comparator results (25–26 Oct)](https://github.com/mathcommunity/oai-math-revised/blob/main/checks/comparator-2026-10-26/results.tsv) (github.com, code)
8. [Scientific American: The most exciting claims from OpenAI's heap of new proofs (8 Oct)](https://www.scientificamerican.com/article/the-most-exciting-claims-from-openais-heap-of-new-proofs/) (scientificamerican.com, press)

## Changes

- 2026-10-29 (filed): Created (families 251–378; abstracts and introductions of the magnetization and condensation papers, Lean scope notes, OpenAI reasoning summary, Scientific American, oai-math-revised Comparator results)

## Related

- 2026-10-24: [oai-math-revised: mathematicians launch a community hub to revise OpenAI's AI-written math manuscripts (guest post on Tao's blog)](https://postcutoff.com/e/2026-10-24-oai-math-revised-community-hub/index.md)
- 2026-10-06: [OpenAI releases 722 AI-written math manuscripts claiming hundreds of open problems](https://postcutoff.com/e/2026-10-06-openai-math-release-722-manuscripts/index.md)
- 2026-10-06: [OpenAI proves the spin-one Haldane gap (periodic chains)](https://postcutoff.com/e/2026-10-06-openai-spin-one-haldane-gap-proof/index.md)