{"schema":"postcutoff/event@1","as_of":"2026-10-30T13:42:00+01:00","url":"https://postcutoff.com/e/2026-10-06-openai-spin-one-haldane-gap-proof/","md":"https://postcutoff.com/e/2026-10-06-openai-spin-one-haldane-gap-proof/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-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":[{"n":1,"title":"OpenAI: The periodic spin-one Haldane gap (24 Sept 2026, paper)","url":"https://github.com/openai/math/blob/main/preprints/The-periodic-spin-one-Haldane-gap-September-24-2026/paper.pdf","type":"paper","group":"primary","domain":"github.com"},{"n":2,"title":"OpenAI: A boundary-field gap for the spin-one Heisenberg chain (paper)","url":"https://github.com/openai/math/blob/main/preprints/A-boundary-field-gap-for-the-spin-one-Heisenberg-chain-September-24-2026/paper.pdf","type":"paper","group":"primary","domain":"github.com"},{"n":3,"title":"Tasaki, arXiv 2610.34330: Uniqueness of translation-invariant ground states of the S=1 Heisenberg and J–D chains","url":"https://arxiv.org/abs/2610.34330","type":"paper","group":"primary","domain":"arxiv.org"},{"n":4,"title":"Tasaki, arXiv 2609.34119 v2: equivalence of topological indices (revision note on the OpenAI proofs)","url":"https://arxiv.org/abs/2609.34119","type":"paper","group":"primary","domain":"arxiv.org"},{"n":5,"title":"Hal Tasaki: OpenAI's proof of the Haldane gap (expository notes, 18–19 Oct)","url":"https://haltasaki.github.io/writings/AI/OpenAI_Haldane.html","type":"discussion","group":"reactions","domain":"haltasaki.github.io"},{"n":6,"title":"Hal Tasaki on X (11 Oct, Japanese)","url":"https://x.com/Hal_Tasaki/status/2109159859845472457","type":"discussion","group":"reactions","domain":"x.com"},{"n":7,"title":"Masaki Oshikawa on X (6 Oct, Japanese)","url":"https://x.com/MasakiOshikawa/status/2107609927351177678","type":"discussion","group":"reactions","domain":"x.com"},{"n":8,"title":"oai-math-revised: community notes on family 268","url":"https://github.com/mathcommunity/oai-math-revised/blob/main/preprints/The-periodic-spin-one-Haldane-gap-September-24-2026/AGENT_NOTES.md","type":"discussion","group":"reactions","domain":"github.com"},{"n":9,"title":"Tasaki: catalogue of OpenAI papers related to mathematical physics (7 Oct)","url":"https://haltasaki.github.io/writings/pdf/OpenAI_Mathematical_Physics_Catalogue_2026-10-07.pdf","type":"discussion","group":"reactions","domain":"haltasaki.github.io"}],"official":4,"filed":"2026-10-28","updated":"2026-10-28","orgs":["OpenAI"],"title":"OpenAI's release proves the spin-one Haldane gap conjecture (1983) on even periodic rings; Hal Tasaki finds the analytic argument 'remarkably simple and elegant' and builds on it","summary":"Family 268 of OpenAI's math release: \"The periodic spin-one Haldane gap\" proves a uniform positive spectral gap for the pure spin-one Heisenberg antiferromagnet on even periodic rings (unique ground state and γ_L > (4/105)·log(80/79) for every even L ≥ 60; γ_L > log 20/784 for L ≥ 2304). A companion, \"A boundary-field gap for the spin-one Heisenberg chain\", proves a gap for odd open chains with endpoint field h = 3/5 and, through Tasaki's index theorem, a nontrivial topological index. The proofs combine a new analytic criterion with computer-assisted thermal estimates (Python verifier, no Lean formalization). Tasaki calls the analytic argument \"remarkably simple and elegant\" and has published two expositions. His arXiv 2610.34330 extends the machinery to uniqueness of the translation-invariant infinite-chain ground state.","key_facts":["Theorem 1.1 (periodic paper, verbatim in substance): 'the ground state is unique for every even L ≥ 60, and γ_L > (4/105) log(80/79) for every even L ≥ 60, γ_L > log 20/784 for every even L ≥ 2304. Consequently Δ₁ ≥ log 20/784 > 0.' The paper says this 'resolves the spin-one Haldane gap conjecture positively in the even-periodic finite-volume formulation Δ₁ > 0'","Companion (boundary field): uniform gap for odd open chains of 2L+1 sites with the same field h = 3/5 at both ends, 'a gap greater than log(10)/392 on every chain … with L ≥ 960'; 'Tasaki's index theorem then gives index −1' for boundary-selected limit states (openai/math CONTENTS, family 268)","Background: Haldane's prediction (1981, published 1983) that integer-spin Heisenberg chains are gapped while half-integer ones are not underlies the 2016 Nobel Prize in physics. Before this, a gap was proved only for special models such as AKLT (Affleck–Kennedy–Lieb–Tasaki 1987)","Expert reading: Hal Tasaki (Gakushuin University), on his website: 'I carefully studied the analytic argument in the first paper, which proves the Haldane conjecture for the S = 1 antiferromagnetic Heisenberg chain in the standard periodic-chain formulation. I found the argument remarkably simple and elegant … The complete proof also uses computer-assisted estimates, which I have not independently checked.' Two 34-page expository notes (continuous- and discrete-time versions, 18–19 Oct)","Tasaki on X (11 Oct, Japanese, 21.6k views; our translation): he feels 'in a nightmare, sweet enough to melt yet appalling', reading OpenAI's Haldane-gap proof with Berlioz's Symphonie fantastique playing and rewriting it in his own words, and calls 'the paper's writing the worst'. In the v2 revision note of arXiv 2609.34119 (10 Oct): 'I have so far found no logical gap in the portions I have examined, but my verification is not yet complete.'","Other reactions: Masaki Oshikawa (Univ. of Tokyo, 6 Oct, 57k views) asked Tasaki whether this proves the Haldane gap and that the S=1 Haldane phase is SPT, calling it 'a statement established among physicists but hard to prove mathematically'; Isaac Kim listed the 'spin-one Haldane gap' among five results in a 'shocking list of problems' in his field; a reader (@dualm, 10 Oct) found 'an interesting new idea (or trick) … followed by a huge, almost brute-force calculation'","Follow-up (Tasaki, arXiv 2610.34330, 25 Oct, v2 27 Oct): 'Using the analytic machinery and numerical inputs of OpenAI's proofs of the Haldane gap, we prove uniqueness of the translation-invariant ground state of the infinite S = 1 Heisenberg antiferromagnetic chain and of the J–D model for sufficiently small |D|.' AI statement: 'The author formulated the problems and proposed the core strategies. ChatGPT Astra made substantial contributions to developing the proofs and preparing the manuscript'; ChatGPT 'found the separated-insertion argument'","Verification: unrefereed OpenAI preprints with a Python/NumPy finite verifier ('These finite checks do not replace the analytic uniform-gap argument'); no Lean formalization (community AGENT_NOTES: 'None found'). An unreviewed GPT-6 Astra Max note (amachino, GitHub) claims a periodic gap > 0.1515 for every length ≥ 24"],"key_numbers":[],"tags":["physics","mathematical-physics","quantum-spin-chains","haldane-gap","heisenberg-chain","openai-math-release","chatgpt-astra","computer-assisted-proof"],"science":{"field":"physics","subfield":"mathematical physics (quantum spin chains)","problem":"Haldane conjecture / Haldane gap for the spin-one antiferromagnetic Heisenberg chain (Haldane 1981–1983)","result":"Uniform positive spectral gap above a unique ground state on even periodic rings (Δ₁ ≥ log 20/784), plus a boundary-field gap for odd open chains with a nontrivial topological index","open_since":"1983","ai_system":["OpenAI internal model (math release)","ChatGPT Astra (Tasaki follow-up)"],"human_role":"Autonomous AI output released by OpenAI; Tasaki's follow-up is AI-assisted (he set problems and strategy, ChatGPT Astra developed proofs)","verification":{"key":"preprint","label":"Preprint only","text":"Unrefereed preprints with computer-assisted estimates and a Python verifier; analytic part read and explained by Tasaki (computer parts not independently checked); no Lean"},"status":"pending","shock":"A 43-year-old prediction that physicists accept but mathematicians could not prove gets a short, 'elegant' analytic argument from an AI model, confirmed in part by one of the problem's main experts"},"body_md":"## What happened\n\nIn 1981–83 Duncan Haldane predicted that chains of quantum spins coupled antiferromagnetically behave differently for integer\nand half-integer spin: integer-spin chains should have an energy gap above the ground state. The prediction is backed by\nexperiments and numerics (the spin-one gap is about 0.41), and it is part of the work behind Haldane's 2016 Nobel Prize. A\nrigorous proof for the simplest case, the spin-one Heisenberg chain, was still missing. The best results were for related\nspecial models such as AKLT, which Tasaki co-invented.\n\nOpenAI's 6 Oct release of 722 AI-generated manuscripts included two papers on this. The first proves a uniform positive gap on\neven periodic rings, with explicit constants. The second treats odd open chains with a magnetic field at both ends and derives a\ntopological index. Both rely on finite computer-assisted thermal estimates, which a Python verifier reproduces.\n\nHal Tasaki, who has worked on the problem for decades, wrote two expository notes on the analytic argument and praised it. He\nsaid he had not independently checked the computer-assisted part. On 25 Oct he posted a follow-up on arXiv. Using the OpenAI\nmachinery, with ChatGPT Astra developing the proofs, it shows the infinite chain has a unique translation-invariant ground state.\n\n## Why it matters\n\nThis is one of the most famous problems in mathematical physics among the release's claims. Few of those claims have had a named\nspecialist read the core argument and endorse it in public. Our 6 Oct coverage missed it until Tasaki's arXiv paper turned up in\nthe 28 Oct sweep. Status: the analytic part has been read by an expert, the numerical part has been re-run by readers, and there\nis no peer review and no Lean proof yet.","disputed":[{"label":"Verification","text":"Unrefereed preprints with computer-assisted estimates and a Python verifier; analytic part read and explained by Tasaki (computer parts not independently checked); no Lean","sources":[]}],"related":[{"id":"2026-10-28-ai-assisted-results-october-28-listing","url":"https://postcutoff.com/e/2026-10-28-ai-assisted-results-october-28-listing/","date":"2026-10-28","date_precision":"day","short_title":"AI-assisted results in the 28 Oct 2026 sweep","deck":"Bialostocki–Lotspeich (1992), part of Gross–Prasad in geometric Langlands, Fuglede in 𝔽₂⁸, a TEMPO structure found by Claude, agent swarms on fractional Chern insulators, and a human digest of GPT-6 Astra's Smale counterexample","takeaway":"The 28 Oct sweep covered the arXiv announcement of 26–27 Oct submissions and late papers from 23–26 Oct. Five results have their own entries: Axiom's Lean proof of the Classification of Finite Simple Groups, OpenAI's spin-one Haldane gap proof (found through Hal Tasaki's follow-up), OpenAI's De Giorgi dimension-eight claim, Morgan–Mullen with Claude and Lean, and formula minimization with GPT-Sol-6.1. This page lists the rest. Claude, GPT-6 Astra and GPT-6 Pro supplied ideas, counterexamples or whole arguments in papers on zero-sum sequences, geometric Langlands, quantum dynamics, fire-blocking and spectral bounds.","category":"science","category_label":"Science & math","importance":2,"confidence":"medium","status":{"key":"pending","labels":["Awaiting review"]},"sources":21,"official":19,"filed":"2026-10-28","updated":"2026-10-28","orgs":["OpenAI","Anthropic","Google DeepMind","various researchers"]},{"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-16-openai-2d-area-law-lean-formalized-axiom","url":"https://postcutoff.com/e/2026-10-16-openai-2d-area-law-lean-formalized-axiom/","date":"2026-10-16","date_precision":"day","short_title":"OpenAI's 2D area law proof Lean-verified by Axiom","deck":null,"takeaway":"One of the physics claims in OpenAI's October maths release, an entropy area law for gapped 2D lattice ground states (open since Hastings' 1D proof in 2007), now has a complete Lean 4 proof with a frozen statement layer and comparator check, produced by AI agents under a human auditor.","category":"science","category_label":"Science & math","importance":4,"confidence":"medium","status":{"key":"pending","labels":["Awaiting review"]},"sources":6,"official":5,"filed":"2026-10-18","updated":"2026-10-18","orgs":["Axiom Math","OpenAI"]},{"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"]}],"people":[{"id":"hal-tasaki","name":"Hal Tasaki","url":"https://postcutoff.com/person/hal-tasaki/"}],"posts":[{"id":"x-hal_tasaki-2109159859845472457","title":"“とろけるほどに甘美でしかし凄絶たる悪夢のなかにいるようだ。バックにベルリオーズの幻想交響曲をかけながら、OpenAI の Haldane gap…”","url":"https://postcutoff.com/p/x-hal_tasaki-2109159859845472457/"},{"id":"x-masakioshikawa-2107609927351177678","title":"“OpenAIの新モデルによる数学の成果が公開。自分の研究にも近い話が出てきてびっくり。 これでHaldane gapの存在(＋S=1 Haldane…”","url":"https://postcutoff.com/p/x-masakioshikawa-2107609927351177678/"}],"videos":[],"models":[],"changes":[{"date":"2026-10-28","type":"filed","text":"Created (science agent; OpenAI CONTENTS and papers, Tasaki's website, fxtwitter, oai-math-revised notes)"}],"provenance":{"agents":[{"model":"Claude Opus 5.5","maker":"Anthropic","tool":"Claude Code"}],"filed":"2026-10-28","run":null,"sources_read":null,"updated":"2026-10-28","human_review":null,"version":{"date":"2026-10-28"}},"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-proves-spin-one-haldane"}