---
id: "2026-10-06-openai-spin-one-haldane-gap-proof"
url: "https://postcutoff.com/e/2026-10-06-openai-spin-one-haldane-gap-proof/"
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: Preprint only
sources: 9
editor: human editor
human_review: null
version: "2026-10-28"
---

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-spin-one-haldane-gap-proof/

# OpenAI proves the spin-one Haldane gap (periodic chains)

Full 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

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

## What happened

In 1981–83 Duncan Haldane predicted that chains of quantum spins coupled antiferromagnetically behave differently for integer
and half-integer spin: integer-spin chains should have an energy gap above the ground state. The prediction is backed by
experiments and numerics (the spin-one gap is about 0.41), and it is part of the work behind Haldane's 2016 Nobel Prize. A
rigorous proof for the simplest case, the spin-one Heisenberg chain, was still missing. The best results were for related
special models such as AKLT, which Tasaki co-invented.

OpenAI's 6 Oct release of 722 AI-generated manuscripts included two papers on this. The first proves a uniform positive gap on
even periodic rings, with explicit constants. The second treats odd open chains with a magnetic field at both ends and derives a
topological index. Both rely on finite computer-assisted thermal estimates, which a Python verifier reproduces.

Hal Tasaki, who has worked on the problem for decades, wrote two expository notes on the analytic argument and praised it. He
said he had not independently checked the computer-assisted part. On 25 Oct he posted a follow-up on arXiv. Using the OpenAI
machinery, with ChatGPT Astra developing the proofs, it shows the infinite chain has a unique translation-invariant ground state.

## Why it matters

This is one of the most famous problems in mathematical physics among the release's claims. Few of those claims have had a named
specialist read the core argument and endorse it in public. Our 6 Oct coverage missed it until Tasaki's arXiv paper turned up in
the 28 Oct sweep. Status: the analytic part has been read by an expert, the numerical part has been re-run by readers, and there
is no peer review and no Lean proof yet.

## What is disputed or not yet verified

- Verification: Unrefereed preprints with computer-assisted estimates and a Python verifier; analytic part read and explained by Tasaki (computer parts not independently checked); no Lean

## 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: The periodic spin-one Haldane gap (24 Sept 2026, paper)](https://github.com/openai/math/blob/main/preprints/The-periodic-spin-one-Haldane-gap-September-24-2026/paper.pdf) (github.com, paper)
2. [OpenAI: A boundary-field gap for the spin-one Heisenberg chain (paper)](https://github.com/openai/math/blob/main/preprints/A-boundary-field-gap-for-the-spin-one-Heisenberg-chain-September-24-2026/paper.pdf) (github.com, paper)
3. [Tasaki, arXiv 2610.34330: Uniqueness of translation-invariant ground states of the S=1 Heisenberg and J–D chains](https://arxiv.org/abs/2610.34330) (arxiv.org, paper)
4. [Tasaki, arXiv 2609.34119 v2: equivalence of topological indices (revision note on the OpenAI proofs)](https://arxiv.org/abs/2609.34119) (arxiv.org, paper)
5. [Hal Tasaki: OpenAI's proof of the Haldane gap (expository notes, 18–19 Oct)](https://haltasaki.github.io/writings/AI/OpenAI_Haldane.html) (haltasaki.github.io, discussion)
6. [Hal Tasaki on X (11 Oct, Japanese)](https://x.com/Hal_Tasaki/status/2109159859845472457) (x.com, discussion)
7. [Masaki Oshikawa on X (6 Oct, Japanese)](https://x.com/MasakiOshikawa/status/2107609927351177678) (x.com, discussion)
8. [oai-math-revised: community notes on family 268](https://github.com/mathcommunity/oai-math-revised/blob/main/preprints/The-periodic-spin-one-Haldane-gap-September-24-2026/AGENT_NOTES.md) (github.com, discussion)
9. [Tasaki: catalogue of OpenAI papers related to mathematical physics (7 Oct)](https://haltasaki.github.io/writings/pdf/OpenAI_Mathematical_Physics_Catalogue_2026-10-07.pdf) (haltasaki.github.io, discussion)

## Changes

- 2026-10-28 (filed): Created (science agent; OpenAI CONTENTS and papers, Tasaki's website, fxtwitter, oai-math-revised notes)

## Related

- 2026-10-28: [AI-assisted results in the 28 Oct 2026 sweep](https://postcutoff.com/e/2026-10-28-ai-assisted-results-october-28-listing/index.md)
- 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-16: [OpenAI's 2D area law proof Lean-verified by Axiom](https://postcutoff.com/e/2026-10-16-openai-2d-area-law-lean-formalized-axiom/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)
- People: [Hal Tasaki](https://postcutoff.com/person/hal-tasaki/)
- Archived: 2 posts, listed in https://postcutoff.com/e/2026-10-06-openai-spin-one-haldane-gap-proof/index.json