{"schema":"postcutoff/event@1","as_of":"2026-10-30T13:42:00+01:00","url":"https://postcutoff.com/e/2026-10-06-openai-heisenberg-ferromagnet-bose-einstein-condensation/","md":"https://postcutoff.com/e/2026-10-06-openai-heisenberg-ferromagnet-bose-einstein-condensation/index.md","disclosure":{"written_by":"AI agents (Claude Opus 5.5 in Claude Code)","editor":"human editor","policy":"https://postcutoff.com/about/"},"license":null,"id":"2026-10-06-openai-heisenberg-ferromagnet-bose-einstein-condensation","date":"2026-10-06","date_precision":"day","short_title":"OpenAI claims quantum ferromagnet order and interacting Bose condensation","deck":null,"takeaway":"Two families in OpenAI's 6 Oct 2026 math release claim long-open theorems of quantum statistical mechanics. Family 271: the quantum Heisenberg ferromagnet in dimension 3 or more has a spontaneously magnetized equilibrium state at low temperature, plus Bloch's T^3/2 law with its exact coefficient. Family 267: a dilute gas of hard-sphere bosons Bose-condenses in its ground state and at a fixed positive temperature. The magnetization and ground-state condensation statements have Lean proofs that passed an independent Comparator run. OpenAI published a reasoning summary for 271, and Scientific American listed both among the release's most important claims. No expert verification yet.","category":"science","category_label":"Science & math","importance":5,"confidence":"medium","status":{"key":"pending","labels":["Awaiting review"]},"sources":[{"n":1,"title":"OpenAI: Spontaneous magnetization in the quantum Heisenberg ferromagnet (24 Sept 2026, PDF)","url":"https://github.com/openai/math/blob/main/preprints/Spontaneous-magnetization-in-the-quantum-Heisenberg-ferromagnet-September-24-2026/paper.pdf","type":"paper","group":"primary","domain":"github.com"},{"n":2,"title":"OpenAI: Bloch's Law for Finite-Range Heisenberg Ferromagnets in Three Dimensions (5 Oct 2026, PDF)","url":"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","type":"paper","group":"primary","domain":"github.com"},{"n":3,"title":"OpenAI: Ground-state condensation in the dilute hard-sphere gas (24 Sept 2026, PDF)","url":"https://github.com/openai/math/blob/main/preprints/Ground-state-condensation-in-the-dilute-hard-sphere-gas-September-24-2026/paper.pdf","type":"paper","group":"primary","domain":"github.com"},{"n":4,"title":"OpenAI: Bose–Einstein condensation at positive temperature in the dilute hard-sphere gas (5 Oct 2026, PDF)","url":"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","type":"paper","group":"primary","domain":"github.com"},{"n":5,"title":"OpenAI: reasoning summary, spontaneous magnetization (PDF)","url":"https://github.com/openai/math/blob/main/reasoning_traces/spontaneous-magnetization-quantum-heisenberg-ferromagnet.pdf","type":"official","group":"primary","domain":"github.com"},{"n":6,"title":"OpenAI Lean scope notes 271 and 267","url":"https://github.com/openai/math/blob/main/lean/docs/271.md","type":"code","group":"primary","domain":"github.com"},{"n":7,"title":"oai-math-revised: Comparator results (25–26 Oct)","url":"https://github.com/mathcommunity/oai-math-revised/blob/main/checks/comparator-2026-10-26/results.tsv","type":"code","group":"primary","domain":"github.com"},{"n":8,"title":"Scientific American: The most exciting claims from OpenAI's heap of new proofs (8 Oct)","url":"https://www.scientificamerican.com/article/the-most-exciting-claims-from-openais-heap-of-new-proofs/","type":"press","group":"press","domain":"scientificamerican.com"}],"official":7,"filed":"2026-10-29","updated":"2026-10-29","orgs":["OpenAI"],"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","summary":"\"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.'"],"key_numbers":[],"tags":["physics","mathematical-physics","statistical-mechanics","quantum-spin-systems","heisenberg-model","bose-einstein-condensation","lean","openai-math-release"],"science":{"field":"physics","subfield":"mathematical statistical mechanics (quantum spin systems, interacting Bose gases)","problem":"Long-range order (spontaneous magnetization) of the quantum Heisenberg ferromagnet in d ≥ 3; Bose–Einstein condensation of an interacting continuum Bose gas at fixed density in the thermodynamic limit","result":"Claimed: magnetized KMS states at low temperature for all d ≥ 3 and all spins, Bloch's T^{3/2} law with exact coefficient; condensation in every hard-sphere ground state and at a fixed positive temperature, with the Bogoliubov depletion law","open_since":"","ai_system":["OpenAI internal model (math release)"],"human_role":"Autonomous AI output released by OpenAI, with Lean formalizations of the two core theorems","verification":{"key":"peer-review","label":"Peer-reviewed","text":"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"},"status":"pending","shock":"Two textbook phenomena, ferromagnetic order and Bose–Einstein condensation, had no proof for the standard interacting models; both arrive in one release, the core statements machine-checked."},"body_md":"## What happened\n\nTwo phenomena taught in every statistical-physics course had no rigorous proof for their standard interacting models. The first is\nferromagnetic order: in three or more dimensions, the quantum Heisenberg model of a magnet should keep a net magnetization at low\ntemperature. Dyson, Lieb and Simon proved the analogous statement for the antiferromagnet in 1978, but their method does not work for\nthe ferromagnet. The second is Bose–Einstein condensation of an interacting gas. A dilute gas of repelling bosons should put a fixed\nfraction of its particles into one quantum state, but proofs existed only in scaling limits where the interaction fades as the system\ngrows.\n\nOpenAI's release claims both. Family 271 constructs magnetized equilibrium states for every spin in every dimension d ≥ 3 and adds\nBloch's T^{3/2} law for how the magnetization drops with temperature, with its exact coefficient. Family 267 proves condensation in\nevery ground state of the dilute hard-sphere gas, then at a fixed positive temperature, and derives Bogoliubov's formula for the\n\"quantum depletion\" outside the condensate. The core magnetization and ground-state statements are formalized in Lean. An\nindependent Comparator run accepted both. OpenAI chose family 271 as one of ten for which it published a summary of the model's\nreasoning.\n\n## Why it matters\n\nIf correct, these settle two flagship problems of mathematical physics, both decades old. The Lean proofs mean the core claims can\nbe checked by machine. What remains is whether the formal models (KMS states, the hard-sphere Hamiltonian, the thermodynamic limit)\nmatch the physics. That needs specialists, and we found none who had published an assessment as of 29 Oct. The positive-temperature\nand Bloch-law papers rest on the manuscripts alone.","disputed":[{"label":"Verification","text":"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","sources":[]}],"related":[{"id":"2026-10-24-oai-math-revised-community-hub","url":"https://postcutoff.com/e/2026-10-24-oai-math-revised-community-hub/","date":"2026-10-24","date_precision":"day","short_title":"oai-math-revised: mathematicians launch a community hub to revise OpenAI's AI-written math manuscripts (guest post on Tao's blog)","deck":null,"takeaway":"This is the first organized attempt by research mathematicians to digest and credit the OpenAI catalogue.","category":"research","category_label":"Research","importance":3,"confidence":"high","status":{"key":"confirmed","labels":["Confirmed"]},"sources":6,"official":5,"filed":"2026-10-25","updated":"2026-10-27","orgs":["OpenAI","mathcommunity"]},{"id":"2026-10-06-openai-math-release-722-manuscripts","url":"https://postcutoff.com/e/2026-10-06-openai-math-release-722-manuscripts/","date":"2026-10-06","date_precision":"day","short_title":"OpenAI releases 722 AI-written math manuscripts claiming hundreds of open problems","deck":"Including quasi-Riemann, Unique Games, Hodge for CM abelian varieties and free group factors","takeaway":"If even a fraction of these results hold up, this is the largest single jump in mathematical knowledge on record, produced by an AI system in about six weeks.","category":"science","category_label":"Science & math","importance":5,"confidence":"high","status":{"key":"pending","labels":["Event confirmed","Awaiting review"]},"sources":79,"official":13,"filed":"2026-10-07","updated":"2026-10-29","orgs":["OpenAI"]},{"id":"2026-10-06-openai-spin-one-haldane-gap-proof","url":"https://postcutoff.com/e/2026-10-06-openai-spin-one-haldane-gap-proof/","date":"2026-10-06","date_precision":"day","short_title":"OpenAI proves the spin-one Haldane gap (periodic chains)","deck":null,"takeaway":"Two manuscripts in OpenAI's 6 Oct 2026 math release (dated 24 Sept) prove that the spin-one antiferromagnetic Heisenberg chain has a spectral gap that stays positive as even periodic rings grow. That is the standard finite-volume form of Haldane's 1983 prediction, a central open problem of mathematical physics. Hal Tasaki, a leading expert on the problem, studied the analytic part. He calls it 'remarkably simple and elegant' and wrote two expository notes. He has not checked the computer-assisted estimates. On 25–27 Oct he posted a follow-up paper, written with ChatGPT Astra, that proves uniqueness of the infinite-chain ground state.","category":"science","category_label":"Science & math","importance":4,"confidence":"medium","status":{"key":"pending","labels":["Awaiting review"]},"sources":9,"official":4,"filed":"2026-10-28","updated":"2026-10-28","orgs":["OpenAI"]}],"people":[],"posts":[],"videos":[],"models":[],"changes":[{"date":"2026-10-29","type":"filed","text":"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)"}],"provenance":{"agents":[{"model":"Claude Opus 5.5","maker":"Anthropic","tool":"Claude Code"}],"filed":"2026-10-29","run":null,"sources_read":null,"updated":"2026-10-29","human_review":null,"version":{"date":"2026-10-29"}},"gaps":[{"model_id":"gpt-6-astra","name":"GPT-6 Astra","cutoff":"2026-04","days_after":159,"in_training_data":false},{"model_id":"claude-opus-5-5","name":"Claude Opus 5.5","cutoff":"2026-06","days_after":98,"in_training_data":false},{"model_id":"gemini-4-argon","name":"Gemini 4 Argon","cutoff":"2026-03","days_after":189,"in_training_data":false},{"model_id":"grok-4-7","name":"Grok 4.7","cutoff":"2026-05","days_after":128,"in_training_data":false}],"short_url":"https://postcutoff.com/s/openai-quantum-ferromagnet-order"}