---
id: "2026-10-06-openai-polyakov-o3-sigma-model-mass-gap-claim"
url: "https://postcutoff.com/e/2026-10-06-openai-polyakov-o3-sigma-model-mass-gap-claim/"
as_of: "2026-10-30T13:42:00+01:00"
date: "2026-10-06"
date_precision: day
category: science
importance: 4
confidence: medium
status: [Awaiting review]
verification: Peer-reviewed
sources: 11
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-polyakov-o3-sigma-model-mass-gap-claim/

# 2D O(n) mass gap (Polyakov) and O(3) continuum limit claimed (OpenAI)

Full title: OpenAI's math release claims Polyakov's mass-generation conjecture for the 2D O(n) spin model (exponential decay at every temperature, n ≥ 3), a continuum O(3) sigma model with a mass gap, and exact O(4) mass asymptotics; Lean covers the decay theorem

Family 215 of OpenAI's 6 Oct 2026 release has five manuscripts. "Exponential decay in two-dimensional classical O(n) models" (23 Sept, 20 pages): "We prove exponential decay of two-point correlations for the classical nearest-neighbor O(n) model on the square lattice, for every n ≥ 3 and every finite positive inverse temperature", resolving "the all-temperature exponential spin-decay conjecture" that goes back to Polyakov's 1975 prediction. "The canonical massive continuum limit of the two-dimensional O(3) model" (4 Oct, 122 pages) constructs a limit whose fields "satisfy the Osterwalder–Schrader axioms" with "a unique vacuum" and "a positive Hamiltonian gap"; a companion proves an isolated one-particle pole. Two O(4) papers give m_lat(β) ∼ 32·exp(π/4 − 1/2)·√β·exp(−πβ). Lean (challenge ClassicalON) covers the finite-volume decay estimate and was accepted in the oai-math-revised comparator run; the continuum and O(4) claims are not formalized. Scientific American quoted Michael Douglas and Roland Bauerschmidt on the papers.

## Key facts
- Decay theorem (23 Sept, 20 pages; abstract, verbatim): 'We prove exponential decay of two-point correlations for the classical nearest-neighbor O(n) model on the square lattice, for every n ≥ 3 and every finite positive inverse temperature. The estimate is uniform over finite free-boundary subgraphs and bounded nonnegative edge strengths. This resolves positively the all-temperature exponential spin-decay conjecture for these models.' The paper cites Polyakov's 1975 renormalization argument predicting mass generation at every positive temperature, earlier proofs at high temperature (Aizenman–Simon) and for large n (Kupiainen), and Aru, Garban and Sepúlveda's 2025 statement of the conjecture as open; for n = 2 the claim fails (Berezinskii–Kosterlitz–Thouless phase)
- Continuum O(3) (4 Oct, 122 pages; abstract): 'We construct a canonical interacting massive continuum limit of the two-dimensional nearest-neighbor O(3) model … The limiting fields satisfy the Osterwalder–Schrader axioms and have a nonzero connected four-point correlation on separated time supports. Their reconstructed theory has a unique vacuum, a nonzero vacuum complement, and a positive Hamiltonian gap on that entire complement.' Companion (4 Oct, 26 pages): the spin field's spectral measure has an isolated lowest-mass atom
- O(4) (23 Sept, 102 pages; 5 Oct, 109 pages): the full transfer gap is bounded by positive multiples of √β·e^(−πβ), with a positive gap at every finite β, and exactly m_lat(β) ∼ 32·exp(π/4 − 1/2)·√β·exp(−πβ) as β → ∞
- Lean (OpenAI scope note lean/docs/215.md): exponential decay for the 2D classical O(n) model, n ≥ 3, at every temperature, uniformly over finite square-lattice subgraphs with free boundary; 'The infinite-volume limit and the separate O(4) spectral-gap claim are not included.' Challenge ClassicalON: 'accepted' in the oai-math-revised comparator run of 25–26 Oct
- Scientific American (8 Oct, 'Baby Yang-Mills'): Michael Douglas (Harvard): 'This goes back 50 years, much like Yang-Mills, and is widely considered the ‘warm-up’ for Yang-Mills.' Roland Bauerschmidt (NYU) on the first of the papers: 'I haven’t digested it or understood all the details, but it seems very reasonable'; on the others, as the magazine reports it: 'The second paper is horrible … If these results had been sent to me by a nobody, I would have deleted the e-mail'
- Physicists on X: Lautaro Vergara (7 Oct): 'Polyakov's conjecture on the O(N) mode has been demonstrated by OpenAI. Good. But, the 1/N expansion made it unavoidable.' Zohar Komargodski, replying: 'And it was known to be true from numerics for decades'. Rudy Pei (7 Oct): the twist estimate 'never uses the sign of the couplings. So it extends to vector spin glasses: the 2D Heisenberg spin glass has no spin-glass order (finite χ_SG) at any T > 0'
- Overlap noted by readers: Marcus Bintz (X, 12 Oct) matched Lemma 2.1 and Proposition 2.2 of the O(4) mass-bound paper with Lemma 4.1 and Proposition 4.3 of the release's spin-one Haldane-gap paper (see [2026-10-06-openai-spin-one-haldane-gap-proof](https://postcutoff.com/e/2026-10-06-openai-spin-one-haldane-gap-proof/index.md))

## What happened

In two dimensions, spins with a continuous symmetry cannot order (Mermin–Wagner), but for the plane rotator (n = 2) correlations
can still decay slowly. Polyakov argued in 1975 that for n ≥ 3 the model generates a mass at every temperature, so correlations decay
exponentially. Its continuum limit, the O(3) nonlinear sigma model, is the standard toy version of the Yang–Mills mass-gap problem.
Rigorous proofs covered only high temperatures and very large n.

OpenAI's release claims the lattice statement for every n ≥ 3 in a short 20-page paper, whose finite-volume estimate is in Lean and
passed a community comparator run. Four longer manuscripts go further: a continuum O(3) quantum field theory satisfying the
Osterwalder–Schrader axioms with a unique vacuum and a mass gap, an isolated one-particle state, and the exact low-temperature mass of
the O(4) model. Those are not formalized.

## Why it matters

If correct, these papers settle a 50-year-old problem of mathematical physics and give a rigorous construction of an interacting
two-dimensional quantum field theory with a mass gap. The early reactions split: one expert found the first paper reasonable and
another unreadable, and physicists noted that the decay was already expected from the 1/N expansion and numerics. The overlap
with the release's Haldane-gap paper suggests a shared toolkit across the physics families.

## What is disputed or not yet verified

- Verification: Lean formalization of the finite-volume decay theorem, accepted by an independent comparator run; continuum and O(4) results only in unrefereed manuscripts, one of which an expert called incomprehensible

## 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 (PDF): Exponential decay in two-dimensional classical O(n) models (23 Sept 2026)](https://github.com/openai/math/blob/main/preprints/Exponential-decay-in-two-dimensional-classical-On-models-September-23-2026/paper.pdf) (github.com, paper)
2. [OpenAI (PDF): The canonical massive continuum limit of the two-dimensional O(3) model (4 Oct)](https://github.com/openai/math/blob/main/preprints/The-canonical-massive-continuum-limit-of-the-two-dimensional-O3-model-October-4-2026/massive-continuum-o3.pdf) (github.com, paper)
3. [OpenAI (PDF): An Isolated Particle Pole for the Two-Dimensional O(3) Spin Field (4 Oct)](https://github.com/openai/math/blob/main/preprints/An-Isolated-Particle-Pole-for-the-Two-Dimensional-O3-Spin-Field-October-4-2026/o3-particle-pole.pdf) (github.com, paper)
4. [OpenAI (PDF): Sharp mass bounds for the two-dimensional O(4) model (23 Sept)](https://github.com/openai/math/blob/main/preprints/Sharp-mass-bounds-for-the-two-dimensional-O4-model-September-23-2026/paper.pdf) (github.com, paper)
5. [OpenAI (PDF): Exact mass asymptotics for the two-dimensional O(4) lattice model (5 Oct)](https://github.com/openai/math/blob/main/preprints/Exact-mass-asymptotics-for-the-two-dimensional-O4-lattice-model-October-5-2026/exact-mass-o4.pdf) (github.com, paper)
6. [OpenAI Lean scope note for family 215](https://github.com/openai/math/blob/main/lean/docs/215.md) (github.com, code)
7. [oai-math-revised comparator results (ClassicalON accepted)](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)
9. [Lautaro Vergara on X (7 Oct)](https://x.com/VergaraLautaro/status/2107874721828319612) (x.com, discussion)
10. [Zohar Komargodski on X (7 Oct, reply)](https://x.com/ZoharKo/status/2107976691855626565) (x.com, discussion)
11. [Rudy Pei on X (7 Oct)](https://x.com/PeaBrane10/status/2107739572344094729) (x.com, discussion)

## Changes

- 2026-10-29 (filed): Created (CONTENTS entry, the five PDFs (20, 122, 26, 102, 109 pp), Lean scope note, comparator results, Scientific American, X posts by Vergara, Komargodski, Pei and Bintz via fxtwitter)

## Related

- 2026-10-26: [OpenAI claims 4D Yang–Mills and QCD existence](https://postcutoff.com/e/2026-10-26-openai-yang-mills-qcd-existence-claim/index.md)
- 2026-10-16: [Alpöge and Sussman say Claude has an (unreadable) existence argument for 4D Yang–Mills on ℝ⁴, by finishing Bałaban's 1980s program](https://postcutoff.com/e/2026-10-16-yang-mills-claude-balaban-program-alpoge-sussman/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)
- Archived: 3 posts, listed in https://postcutoff.com/e/2026-10-06-openai-polyakov-o3-sigma-model-mass-gap-claim/index.json