{"schema":"postcutoff/event@1","as_of":"2026-10-30T13:42:00+01:00","url":"https://postcutoff.com/e/2026-10-06-openai-polyakov-o3-sigma-model-mass-gap-claim/","md":"https://postcutoff.com/e/2026-10-06-openai-polyakov-o3-sigma-model-mass-gap-claim/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-polyakov-o3-sigma-model-mass-gap-claim","date":"2026-10-06","date_precision":"day","short_title":"2D O(n) mass gap (Polyakov) and O(3) continuum limit claimed (OpenAI)","deck":null,"takeaway":"Five manuscripts credited to 'OpenAI' (23 Sept to 5 Oct, public on 6 Oct) claim the lattice and continuum versions of a problem that physicists call the warm-up for Yang–Mills. The 2D classical O(n) model with n ≥ 3 is claimed to have exponentially decaying correlations at every positive temperature, as Polyakov predicted in 1975. A massive continuum O(3) field theory satisfying the Osterwalder–Schrader axioms, with a unique vacuum and a positive gap, is also claimed, along with the exact O(4) mass asymptotics. Only the 20-page decay theorem is in Lean. Roland Bauerschmidt called the first paper groundbreaking and comprehensible and the second 'horrible'. Zohar Komargodski noted the decay was known from numerics for decades.","category":"science","category_label":"Science & math","importance":4,"confidence":"medium","status":{"key":"pending","labels":["Awaiting review"]},"sources":[{"n":1,"title":"OpenAI (PDF): Exponential decay in two-dimensional classical O(n) models (23 Sept 2026)","url":"https://github.com/openai/math/blob/main/preprints/Exponential-decay-in-two-dimensional-classical-On-models-September-23-2026/paper.pdf","type":"paper","group":"primary","domain":"github.com"},{"n":2,"title":"OpenAI (PDF): The canonical massive continuum limit of the two-dimensional O(3) model (4 Oct)","url":"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","type":"paper","group":"primary","domain":"github.com"},{"n":3,"title":"OpenAI (PDF): An Isolated Particle Pole for the Two-Dimensional O(3) Spin Field (4 Oct)","url":"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","type":"paper","group":"primary","domain":"github.com"},{"n":4,"title":"OpenAI (PDF): Sharp mass bounds for the two-dimensional O(4) model (23 Sept)","url":"https://github.com/openai/math/blob/main/preprints/Sharp-mass-bounds-for-the-two-dimensional-O4-model-September-23-2026/paper.pdf","type":"paper","group":"primary","domain":"github.com"},{"n":5,"title":"OpenAI (PDF): Exact mass asymptotics for the two-dimensional O(4) lattice model (5 Oct)","url":"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","type":"paper","group":"primary","domain":"github.com"},{"n":6,"title":"OpenAI Lean scope note for family 215","url":"https://github.com/openai/math/blob/main/lean/docs/215.md","type":"code","group":"primary","domain":"github.com"},{"n":7,"title":"oai-math-revised comparator results (ClassicalON accepted)","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"},{"n":9,"title":"Lautaro Vergara on X (7 Oct)","url":"https://x.com/VergaraLautaro/status/2107874721828319612","type":"discussion","group":"reactions","domain":"x.com"},{"n":10,"title":"Zohar Komargodski on X (7 Oct, reply)","url":"https://x.com/ZoharKo/status/2107976691855626565","type":"discussion","group":"reactions","domain":"x.com"},{"n":11,"title":"Rudy Pei on X (7 Oct)","url":"https://x.com/PeaBrane10/status/2107739572344094729","type":"discussion","group":"reactions","domain":"x.com"}],"official":7,"filed":"2026-10-29","updated":"2026-10-29","orgs":["OpenAI"],"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","summary":"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)"],"key_numbers":[],"tags":["math","mathematical-physics","statistical-mechanics","sigma-model","mass-gap","quantum-field-theory","polyakov","openai-math-release","lean"],"science":{"field":"physics","subfield":"mathematical physics (lattice spin models, constructive quantum field theory)","problem":"Polyakov's conjecture (1975): the 2D O(n) model with n ≥ 3 has a mass gap (exponential decay) at every positive temperature; construction of the massive continuum O(3) nonlinear sigma model","result":"Claimed: exponential decay for all n ≥ 3 and all β (Lean-formalized in finite volume); an Osterwalder–Schrader continuum O(3) theory with unique vacuum, mass gap and an isolated particle pole; exact O(4) lattice mass asymptotics","open_since":"1975","ai_system":["OpenAI internal model (math release)"],"human_role":"Released as model output under OpenAI's fixed procedure, with no human author named; first reactions by mathematical physicists quoted in the press","verification":{"key":"peer-review","label":"Peer-reviewed","text":"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"},"status":"pending","shock":"The two-dimensional analogue of the Yang–Mills mass-gap problem is claimed in full, lattice and continuum, and the first expert to read it found one paper reasonable and another unreadable."},"body_md":"## What happened\n\nIn two dimensions, spins with a continuous symmetry cannot order (Mermin–Wagner), but for the plane rotator (n = 2) correlations\ncan still decay slowly. Polyakov argued in 1975 that for n ≥ 3 the model generates a mass at every temperature, so correlations decay\nexponentially. Its continuum limit, the O(3) nonlinear sigma model, is the standard toy version of the Yang–Mills mass-gap problem.\nRigorous proofs covered only high temperatures and very large n.\n\nOpenAI's release claims the lattice statement for every n ≥ 3 in a short 20-page paper, whose finite-volume estimate is in Lean and\npassed a community comparator run. Four longer manuscripts go further: a continuum O(3) quantum field theory satisfying the\nOsterwalder–Schrader axioms with a unique vacuum and a mass gap, an isolated one-particle state, and the exact low-temperature mass of\nthe O(4) model. Those are not formalized.\n\n## Why it matters\n\nIf correct, these papers settle a 50-year-old problem of mathematical physics and give a rigorous construction of an interacting\ntwo-dimensional quantum field theory with a mass gap. The early reactions split: one expert found the first paper reasonable and\nanother unreadable, and physicists noted that the decay was already expected from the 1/N expansion and numerics. The overlap\nwith the release's Haldane-gap paper suggests a shared toolkit across the physics families.","disputed":[{"label":"Verification","text":"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","sources":[]}],"related":[{"id":"2026-10-26-openai-yang-mills-qcd-existence-claim","url":"https://postcutoff.com/e/2026-10-26-openai-yang-mills-qcd-existence-claim/","date":"2026-10-26","date_precision":"day","short_title":"OpenAI claims 4D Yang–Mills and QCD existence","deck":null,"takeaway":"The physics third of OpenAI's 26 Oct announcement claims that certain interacting 4D quantum field theories exist mathematically, among them pure Yang–Mills and quantum chromodynamics. That is the existence half of the Yang–Mills Millennium problem, not the mass gap. A group led by David Gross, with Michael Douglas, Arthur Jaffe, Igor Klebanov and Nikita Nekrasov, is reviewing it. At the group's request the AI-produced material is not public while they write their own account. Nothing can be checked yet.","category":"science","category_label":"Science & math","importance":5,"confidence":"medium","status":{"key":"pending","labels":["Awaiting review"]},"sources":13,"official":2,"filed":"2026-10-27","updated":"2026-10-29","orgs":["OpenAI"]},{"id":"2026-10-16-yang-mills-claude-balaban-program-alpoge-sussman","url":"https://postcutoff.com/e/2026-10-16-yang-mills-claude-balaban-program-alpoge-sussman/","date":"2026-10-16","date_precision":"day","short_title":"Alpöge and Sussman say Claude has an (unreadable) existence argument for 4D Yang–Mills on ℝ⁴, by finishing Bałaban's 1980s program","deck":null,"takeaway":"A public repo of raw Claude output claims a construction of four-dimensional SU(2) Yang–Mills theory, the existence half of the Millennium problem but not the mass gap; its authors call it 'slop in progress' that nobody can yet read or check.","category":"science","category_label":"Science & math","importance":4,"confidence":"medium","status":{"key":"pending","labels":["Awaiting review"]},"sources":6,"official":4,"filed":"2026-10-18","updated":"2026-10-18","orgs":["Anthropic","Northwestern University"]},{"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":[{"id":"x-peabrane10-2107739572344094729","title":"“The twist estimate in OpenAI's new proof of Polyakov's conjecture (215), never uses the…”","url":"https://postcutoff.com/p/x-peabrane10-2107739572344094729/"},{"id":"x-vergaralautaro-2107874721828319612","title":"“Polyakov's conjecture on the O(N) mode has been demonstrated by OpenAI. Good. But, the…”","url":"https://postcutoff.com/p/x-vergaralautaro-2107874721828319612/"},{"id":"x-zoharko-2107976691855626565","title":"“And it was known to be true from numerics for decades”","url":"https://postcutoff.com/p/x-zoharko-2107976691855626565/"}],"videos":[],"models":[],"changes":[{"date":"2026-10-29","type":"filed","text":"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)"}],"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/2d-o-n-mass"}