---
id: "2026-10-26-three-dimensional-su2-yang-mills-continuum-limit-aronow-lopatto-ai"
url: "https://postcutoff.com/e/2026-10-26-three-dimensional-su2-yang-mills-continuum-limit-aronow-lopatto-ai/"
as_of: "2026-10-30T13:42:00+01:00"
date: "2026-10-26"
date_precision: day
category: science
importance: 4
confidence: low
status: [Awaiting review]
verification: Lean-verified
sources: 6
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-26-three-dimensional-su2-yang-mills-continuum-limit-aronow-lopatto-ai/

# 3D SU(2) Yang–Mills continuum limit claimed in five AI-written papers

Full title: A five-part, AI-written construction of the continuum limit of three-dimensional SU(2) lattice Yang–Mills theory on a torus, posted on Hexagon by P. M. Aronow and Patrick Lopatto with 'human understanding: no parts'

"The continuum limit of three-dimensional SU(2) lattice Yang–Mills theory on a torus I–V" (Hexagon 2610.00506, 00509, 00510, 00511, 00512; contributed by P. M. Aronow and Patrick Lopatto, 26 Oct 2026) claims that, at every fixed coupling and with bare coupling g² = g₃²a, the joint laws of finitely many Wilson-flowed Wilson loops of the SU(2) Wilson lattice measure on a fixed 3D torus converge as a → 0 along refinement sequences, to a unique probability measure on gauge orbits of Yang–Mills heat-flow trajectories (a version of the Cao–Chatterjee state space). It also gives short-distance Gaussian-free-field asymptotics and the weak-coupling concentration on flat connections. All five papers are labelled "Primarily AI-generated text" and "Human understanding: no parts".

## Key facts
- Claim (abstract shared by the five papers, verbatim): 'We prove that, at every fixed value of the coupling, the joint laws of finitely many flowed Wilson loops converge as the lattice spacing tends to zero along the sequences of lattice sides nM^k, for fixed odd M ≥ 3 and fixed positive n divisible by four. For each such refinement class, the limits are realized by a unique probability measure on the space of gauge orbits of Yang–Mills heat-flow trajectories at positive times, a version of the state space introduced by Cao and Chatterjee.'
- Method (abstract): 'a multiscale renormalization group analysis in the tradition of Bałaban, carried out on a small-field event whose complement we show to have small probability, uniformly in the lattice spacing, using reflection positivity and chessboard estimates', with stochastic estimates for the lattice heat flow and a deterministic analysis of the Wilson flow for rough initial data
- Further claims: rescaled deficits (1 − W)/(g₃²ε) of small flowed Wilson loops converge to explicit quadratic functions of the heat-smoothed Gaussian free field; as the coupling tends to zero the measure concentrates on flat connections, with Gaussian fluctuations near regular commuting holonomies
- Limits of the claim: SU(2) only, a fixed-size torus, convergence along refinement classes nM^k (not every lattice sequence), observables are flowed Wilson loops at positive flow time; nothing about the infinite-volume limit, a mass gap or four dimensions
- Provenance statement (verbatim): 'Proof discovery and verification were done with a combination of Opus 5.5, GPT 6 Astra, and GPT 6.1 Sol. Opus 5.5 and GPT Sol 6.1 performed limited background formalizations of some claims and proof architecture in Lean 4 as part of verification. The writing was done by Opus 5.5, GPT 6 Astra, and GPT 6.1 Sol.' Contributors: P. M. Aronow (Yale), Patrick Lopatto (UNC Chapel Hill)
- Same pair, 20 Oct: Hexagon 2610.00402 on Glauber dynamics of the low-temperature Sherrington–Kirkpatrick model from typical states, A_β n^{7/30} < log T ≤ n^{1−ω}, with the same models and Lean formalizations 'as part of verification'
- Context: OpenAI's 26 Oct physics claim of 4D Yang–Mills and QCD existence has no public artifacts (entry [2026-10-26-openai-yang-mills-qcd-existence-claim](https://postcutoff.com/e/2026-10-26-openai-yang-mills-qcd-existence-claim/index.md)); Anthropic's Alpöge and Sussman run a public attempt to finish Bałaban's 4D programme with Claude
- Not checked: no referee, no expert comment found as of 29 Oct

## What happened

Yang–Mills theory underlies the strong and weak forces, but nobody has built it as a mathematically rigorous continuum theory. In three
dimensions the problem is easier because the coupling has positive dimension. Bałaban's renormalization-group work of the 1980s gave
ultraviolet bounds, and Cao and Chatterjee proposed a state space of gauge orbits of heat-flow trajectories on which a limit could live.
A full construction has not been published.

On 26 Oct P. M. Aronow and Patrick Lopatto posted five linked papers on Hexagon. They claim the continuum limit for SU(2) on a fixed
three-dimensional torus, for Wilson-flowed observables, along refinement sequences of lattice sizes. The papers say the models found the
proofs, checked them and wrote them, with partial Lean formalization of background claims. Hexagon's form lets contributors state how much
they understand, and they answered "no parts".

## Why it matters

It is one of the largest AI-generated constructions in mathematical physics so far, and it targets a problem with a long human history.
The authors make no claim of human understanding, so the result counts as unverified until specialists read it. It also arrived on the
day OpenAI announced its own, still private, four-dimensional Yang–Mills existence claim.

## What is disputed or not yet verified

- Verification: Unrefereed Hexagon preprints; only limited Lean formalization of background claims

## Your AI and this story

- GPT-6 Astra (training cutoff April 2026): 179 days after its cutoff
- Claude Opus 5.5 (training cutoff June 2026): 118 days after its cutoff
- Gemini 4 Argon (training cutoff March 2026): 209 days after its cutoff
- Grok 4.7 (training cutoff May 2026): 148 days after its cutoff

## Sources

1. [Hexagon 2610.00506: The continuum limit of three-dimensional SU(2) lattice Yang–Mills theory on a torus I](https://hexagonmath.org/abs/2610.00506v1) (hexagonmath.org, paper)
2. [Hexagon 2610.00509: … II: Fluctuation integration and local reconstruction](https://hexagonmath.org/abs/2610.00509v1) (hexagonmath.org, paper)
3. [Hexagon 2610.00510: … III: Regional renormalization and large-field control](https://hexagonmath.org/abs/2610.00510v1) (hexagonmath.org, paper)
4. [Hexagon 2610.00511: … IV: Wilson flow and continuum measure](https://hexagonmath.org/abs/2610.00511v1) (hexagonmath.org, paper)
5. [Hexagon 2610.00512: … V: Short-distance and weak-coupling asymptotics](https://hexagonmath.org/abs/2610.00512v1) (hexagonmath.org, paper)
6. [Hexagon 2610.00402: Glauber dynamics from typical states of the low-temperature SK model (Aronow, Lopatto)](https://hexagonmath.org/abs/2610.00402v1) (hexagonmath.org, paper)

## Changes

- 2026-10-29 (filed): Created (Hexagon records and API metadata of the five papers and of 2610.00402; found in a first full read of the Hexagon API)

## Related

- 2026-10-29: [AI-assisted results, 29 Oct 2026 (part 2)](https://postcutoff.com/e/2026-10-29-ai-assisted-results-october-29-listing-2/index.md)
- 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-06: [Hexagon launches: a new arXiv-style repository for LLM-assisted mathematics papers](https://postcutoff.com/e/2026-10-06-hexagon-repository-llm-assisted-math/index.md)
- People: [Levent Alpöge](https://postcutoff.com/person/levent-alpoge/)