OpenAI claims 4D Borel counterexample and that F₂ is not good
Awaiting review
Importance: historic (5 of 5)The takeaway
Four manuscripts in OpenAI’s 6 Oct 2026 math release (families 305 and 320) make three claims in 4-manifold topology. Freedman’s disk embedding theorem fails without a fundamental-group hypothesis, so the free group F₂ is not ‘good’, the central open question of topological 4-manifold surgery. A four-dimensional Poincaré duality group has no closed aspherical manifold model, against Wall’s question. And two closed aspherical 4-manifolds with a hyperbolic fundamental group are homotopy equivalent but not homeomorphic, against the topological Borel conjecture. None has a Lean proof or a published expert check as of 29 Oct.
Status
- Claim
Awaiting review
- Our reporting
- Medium confidence
- Verification
- Preprint only
- Importance
- Historic (5 of 5)
- Last verified
- 29 October 2026
Your AI and this story
- GPT-6 Astra159 days after its cutoff
- Claude Opus 5.598 days after its cutoff
- Gemini 4 Argon189 days after its cutoff
- Grok 4.7128 days after its cutoff
None of these four assistants can know about it. The closest, Claude Opus 5.5, stops 98 days before it.
Key facts
- Disk embedding (abstract, verbatim): ‘We disprove the four-dimensional disc embedding conjecture without a fundamental-group hypothesis… Consequently, the free group on two generators is not good in the sense of Freedman–Quinn, and neither is any group containing it as a subgroup.’ A second manuscript gives a ‘marked tensor’ obstruction to the same conjecture
- Why it matters inside the field: Freedman’s disk embedding theorem underlies 4D topological surgery and the s-cobordism theorem; it is proved for ‘good’ fundamental groups (e.g. groups of subexponential growth), and whether all groups, in particular F₂, are good has been the field’s main open question since the 1980s
- Wall’s question (verbatim): ‘We construct a finitely presented integral Poincaré duality group of dimension four that has a finite classifying space but is not the fundamental group of any closed aspherical topological four-manifold. This gives a negative answer to Wall’s manifold-realization question in dimension four.’
- Borel (abstract, verbatim): ‘We construct closed connected aspherical topological four-manifolds that are homotopy equivalent but not homeomorphic, disproving the homeomorphism-existence formulation of the Borel conjecture in dimension four. Their common fundamental group is word-hyperbolic.’ The paper also gives a self-homotopy equivalence not homotopic to a homeomorphism
- Prior state, as the Borel paper recounts it: rigidity known in dimensions ≤ 3 (dimension 3 via geometrization); Farrell–Jones and Bartels–Lück in dimensions ≥ 5 for hyperbolic and CAT(0) groups; in dimension four only with a good fundamental group or up to s-cobordism (Khan). The 2024 smooth examples of Davis–Hayden–Huang–Ruberman–Sunukjian are homeomorphic but not diffeomorphic
- Reaction: Xiaolei Wu (group theorist) on Proofs and Prompts, 8 Oct: ‘So the Borel conjecture fails in dimension 4, the coarse Baum-Connes also fails…’. Vyacheslav Krushkal’s ‘collision rank’ paper (arXiv 2609.25198, 21 Sept, before the release) enlarged the known class of good groups
- Status: manuscripts only; no Lean scope notes for families 305 or 320; Latent Seminar’s exposition (7 Oct) explicitly disclaims independent verification
What happened
In the topological category, four-dimensional manifolds are governed by Michael Freedman’s disk embedding theorem (1980s). It makes surgery and the s-cobordism theorem work in dimension four, but only when the fundamental group is “good”, a class that includes groups of subexponential growth. Whether every group is good, and in particular the free group on two generators, has been the main open question of the subject since the 1980s.
OpenAI’s release says the answer is no. Two manuscripts dated 24 Sept give obstructions to the disk embedding conjecture without a group hypothesis, from which F₂ is not good. A third builds a four-dimensional Poincaré duality group that no closed aspherical 4-manifold realizes, a negative answer to a question of C. T. C. Wall. A manuscript dated 4 Oct combines these constructions into two closed aspherical 4-manifolds that are homotopy equivalent but not homeomorphic. That contradicts the Borel conjecture, first raised by Armand Borel in 1953, in dimension four. Rigidity holds in dimensions up to three and for broad classes of groups in dimensions five and up. The smooth version was already known to fail in dimension four (2024), but these examples are homeomorphic, so they say nothing about the topological statement.
Why it matters
If correct, these results close the “is F₂ good?” problem in the negative and make dimension four an exception to topological rigidity of aspherical manifolds. Both would change how 4-manifold topologists work. The claims rest on long, unrefereed, unformalized AI manuscripts. We found no published assessment by 4-manifold topologists as of 29 Oct.
What is disputed or not yet verified
| Verification | Unrefereed manuscripts; no formalization; no published expert assessment |
|---|
Sources
7 sources from 3 sites. Numbers match the chips in the text.
7 sources: 5 primary, 2 reactions
Primary
- OpenAI: A boundary-only obstruction to four-dimensional disk embedding (PDF)github.com, paper
- OpenAI: A marked tensor obstruction to four-dimensional disk embedding (PDF)github.com, paper
- OpenAI: A PD4 group without an aspherical manifold model (PDF)github.com, paper
- OpenAI: Nonhomeomorphic closed aspherical four-manifolds with the same homotopy type (4 Oct 2026, PDF)github.com, paper
- Davis, Hayden, Huang, Ruberman, Sunukjian: Exotic aspherical 4-manifolds (arXiv 2411.19400, smooth case)arxiv.org, paper
Reactions
- Proofs and Prompts: 100+ reactions to 100+ solutions (Xiaolei Wu and others)proofsandprompts.com, discussion
- oai-math-revised: community notes on the Borel manuscriptgithub.com, discussion
Changes
- Filed (families 251–378; four manuscripts’ abstracts and the Borel paper’s introduction read, Proofs and Prompts, oai-math-revised notes)