{"schema":"postcutoff/event@1","as_of":"2026-10-30T13:42:00+01:00","url":"https://postcutoff.com/e/2026-10-06-openai-borel-conjecture-dimension-four-free-group-not-good/","md":"https://postcutoff.com/e/2026-10-06-openai-borel-conjecture-dimension-four-free-group-not-good/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-borel-conjecture-dimension-four-free-group-not-good","date":"2026-10-06","date_precision":"day","short_title":"OpenAI claims 4D Borel counterexample and that F₂ is not good","deck":null,"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.","category":"science","category_label":"Science & math","importance":5,"confidence":"medium","status":{"key":"pending","labels":["Awaiting review"]},"sources":[{"n":1,"title":"OpenAI: A boundary-only obstruction to four-dimensional disk embedding (PDF)","url":"https://github.com/openai/math/blob/main/preprints/A-boundary-only-obstruction-to-four-dimensional-disk-embedding-September-24-2026/paper.pdf","type":"paper","group":"primary","domain":"github.com"},{"n":2,"title":"OpenAI: A marked tensor obstruction to four-dimensional disk embedding (PDF)","url":"https://github.com/openai/math/blob/main/preprints/A-marked-tensor-obstruction-to-four-dimensional-disk-embedding-September-24-2026/paper.pdf","type":"paper","group":"primary","domain":"github.com"},{"n":3,"title":"OpenAI: A PD4 group without an aspherical manifold model (PDF)","url":"https://github.com/openai/math/blob/main/preprints/A-PD4-group-without-an-aspherical-manifold-model-September-24-2026/paper.pdf","type":"paper","group":"primary","domain":"github.com"},{"n":4,"title":"OpenAI: Nonhomeomorphic closed aspherical four-manifolds with the same homotopy type (4 Oct 2026, PDF)","url":"https://github.com/openai/math/blob/main/preprints/Nonhomeomorphic-closed-aspherical-four-manifolds-with-the-same-homotopy-type-October-4-2026/paper.pdf","type":"paper","group":"primary","domain":"github.com"},{"n":5,"title":"Davis, Hayden, Huang, Ruberman, Sunukjian: Exotic aspherical 4-manifolds (arXiv 2411.19400, smooth case)","url":"https://arxiv.org/abs/2411.19400","type":"paper","group":"primary","domain":"arxiv.org"},{"n":6,"title":"Proofs and Prompts: 100+ reactions to 100+ solutions (Xiaolei Wu and others)","url":"https://proofsandprompts.com/2026/10/08/100-reactions-to-100-solutions/","type":"discussion","group":"reactions","domain":"proofsandprompts.com"},{"n":7,"title":"oai-math-revised: community notes on the Borel manuscript","url":"https://github.com/mathcommunity/oai-math-revised/blob/main/preprints/Nonhomeomorphic-closed-aspherical-four-manifolds-with-the-same-homotopy-type-October-4-2026/AGENT_NOTES.md","type":"discussion","group":"reactions","domain":"github.com"}],"official":5,"filed":"2026-10-29","updated":"2026-10-29","orgs":["OpenAI"],"title":"OpenAI's release claims the topological Borel conjecture fails in dimension four, that the free group is not 'good' for Freedman's disk embedding, and a counterexample to Wall's PD4 realization question","summary":"Family 305 (three manuscripts, 24 Sept 2026) claims that the unrestricted four-dimensional disk embedding conjecture fails, so F₂, and every group containing it, is not good in the sense of Freedman–Quinn. It also claims a finitely presented PD4 group with a finite classifying space that is not the fundamental group of any closed aspherical 4-manifold. Family 320 (one manuscript, 4 Oct) uses these constructions to give closed aspherical topological 4-manifolds, with a common word-hyperbolic fundamental group, that are homotopy equivalent but not homeomorphic. The smooth analogue had been settled in 2024 (homeomorphic, not diffeomorphic, aspherical 4-manifolds; Davis, Hayden, Huang, Ruberman, Sunukjian). No Lean formalization, no withdrawal; no published expert assessment found.","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"],"key_numbers":[],"tags":["math","topology","four-manifolds","borel-conjecture","disk-embedding","freedman","poincare-duality-groups","counterexample","openai-math-release"],"science":{"field":"mathematics","subfield":"geometric topology (topological 4-manifolds, surgery, aspherical manifolds)","problem":"Is every group good (Freedman's disk embedding for all fundamental groups)? Wall's realization of PD4 groups; topological Borel conjecture in dimension 4","result":"Claimed: disk embedding fails in general and F₂ is not good; a PD4 group with no closed aspherical manifold model; homotopy-equivalent but non-homeomorphic closed aspherical 4-manifolds with hyperbolic fundamental group","open_since":"1953","ai_system":["OpenAI internal model (math release)"],"human_role":"Autonomous AI output released by OpenAI","verification":{"key":"preprint","label":"Preprint only","text":"Unrefereed manuscripts; no formalization; no published expert assessment"},"status":"pending","shock":"Three of the deepest open questions of four-dimensional topology answered negatively in one batch, with the Borel counterexample built on the two others."},"body_md":"## What happened\n\nIn the topological category, four-dimensional manifolds are governed by Michael Freedman's disk embedding theorem (1980s). It makes\nsurgery and the s-cobordism theorem work in dimension four, but only when the fundamental group is \"good\", a class that includes\ngroups of subexponential growth. Whether every group is good, and in particular the free group on two generators, has been the main\nopen question of the subject since the 1980s.\n\nOpenAI's release says the answer is no. Two manuscripts dated 24 Sept give obstructions to the disk embedding conjecture without a\ngroup hypothesis, from which F₂ is not good. A third builds a four-dimensional Poincaré duality group that no closed aspherical\n4-manifold realizes, a negative answer to a question of C. T. C. Wall. A manuscript dated 4 Oct combines these constructions into two\nclosed aspherical 4-manifolds that are homotopy equivalent but not homeomorphic. That contradicts the Borel conjecture, first raised by\nArmand Borel in 1953, in dimension four. Rigidity holds in dimensions up to three and for broad classes of groups in dimensions five and\nup. The smooth version was already known to fail in dimension four (2024), but these examples are homeomorphic, so they say nothing\nabout the topological statement.\n\n## Why it matters\n\nIf correct, these results close the \"is F₂ good?\" problem in the negative and make dimension four an exception to topological\nrigidity of aspherical manifolds. Both would change how 4-manifold topologists work. The claims rest on long, unrefereed,\nunformalized AI manuscripts. We found no published assessment by 4-manifold topologists as of 29 Oct.","disputed":[{"label":"Verification","text":"Unrefereed manuscripts; no formalization; no published expert assessment","sources":[]}],"related":[{"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-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":[],"posts":[],"videos":[],"models":[],"changes":[{"date":"2026-10-29","type":"filed","text":"Created (families 251–378; four manuscripts' abstracts and the Borel paper's introduction read, Proofs and Prompts, oai-math-revised notes)"}],"provenance":{"agents":[{"model":"Claude Opus 5.5","maker":"Anthropic","tool":"Claude Code"}],"filed":"2026-10-29","run":null,"sources_read":"Families 251–378; four manuscripts' abstracts and the Borel paper's introduction read, Proofs and Prompts, oai-math-revised notes","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/openai-4d-borel-counterexample"}