---
id: "2026-11-06-bloom-conjecture-all-dimensions-chatgpt-6"
url: "https://postcutoff.com/e/2026-11-06-bloom-conjecture-all-dimensions-chatgpt-6/"
as_of: "2026-11-15T00:33:00+01:00"
date: "2026-11-06"
date_precision: day
category: science
importance: 4
confidence: medium
status: [Awaiting review]
verification: Preprint only
sources: 2
editor: human editor
human_review: null
version: null
---

As of: 2026-11-15 00:33 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-11-06-bloom-conjecture-all-dimensions-chatgpt-6/

# Bloom's conjecture resolved in all dimensions (ChatGPT 6)

Full title: Bloom's conjecture on contact, commutator and Levi types of pseudoconvex hypersurfaces resolved in all dimensions; authors say 'ChatGPT 6 played a fundamental role … much of the credit for this paper should be attributed to it'

arXiv 2611.09823 (6 Nov 2026), Jiaqing Chen, Xiaojun Huang, Wanke Yin, Pingsan Yuan: for a smooth pseudoconvex real hypersurface M ⊂ ℂⁿ and every 1 ≤ s ≤ n−1, the regular s-contact type, s-commutator type and s-Levi type coincide at every point, resolving Bloom's conjecture in any dimension (n = 3 was done by Huang and Yin in 2021), and answer the generalized D'Angelo conjecture. The authors write that ChatGPT 6 supplied 'a fundamental new strategy with the free nilpotent group model' and 'critical computations'.

## Key facts
- Disclosure (verbatim): 'It is here that ChatGPT 6 provided crucial help to us in developing a free nilpotent group model that encodes a finite jet of the chosen vector fields and in realizing the model as a generic real-analytic CR submanifold G of a complex homogeneous space Q'; 'This new method, provided to us by ChatGPT 6, allows us to bypass the analysis of the Nagano leaf'; 'Thus, ChatGPT 6 played a fundamental role in this work, and much of the credit for this paper should be attributed to it'
- Human starting points: the Hopf-lemma approach of Huang–Yin (2021) and a universal weighted polynomial from their 2026 paper; the two pairs of authors had worked independently for over a year and joined forces in late summer 2026
- Same listing, same field: 'The Dimension Conjecture for Hypersurfaces Is True' (M. A. Stepanova, arXiv 2611.10314): the automorphism algebra of a holomorphically nondegenerate real-analytic hypersurface germ in ℂ^N has dimension ≤ N² + 2N, with equality only for hyperquadrics; disclosure: 'The author used ChatGPT.'
- Status: unrefereed preprints; no expert reaction found by 14 Nov

## What happened

Four complex analysts posted a proof that three notions of "type" for a pseudoconvex hypersurface, which measure how degenerate
its Levi form is along subbundles, agree in every dimension, as Thomas Bloom conjectured. The three-dimensional case was settled
in 2021 by two of the authors. Their AI statement says ChatGPT 6, used by two of the authors, provided the new method that made the
earlier approach work in all dimensions, and that much of the credit belongs to the model.

## Why it matters

The types control subelliptic estimates for the ∂̄-Neumann problem, a central topic in several complex variables. The statement is
one of the strongest attributions of a key idea to a model by established specialists so far. Not yet refereed.

## What is disputed or not yet verified

- Verification: Preprint, unrefereed

## Your AI and this story

- GPT-6 Astra (training cutoff April 2026): 190 days after its cutoff
- Claude Opus 5.5 (training cutoff June 2026): 129 days after its cutoff
- Gemini 4 Hydrogen (training cutoff March 2026): 220 days after its cutoff
- Grok 4.7 (training cutoff May 2026): 159 days after its cutoff

## Sources

1. [arXiv 2611.09823: Regular multi-types and the Bloom conjecture II (Chen, Huang, Yin, Yuan)](https://arxiv.org/abs/2611.09823) (arxiv.org, paper)
2. [arXiv 2611.10314: The Dimension Conjecture for Hypersurfaces Is True (Stepanova)](https://arxiv.org/abs/2611.10314) (arxiv.org, paper)

## Changes

- 2026-11-14 (filed): Created (science agent; abstract and PDF read)

## Related

- 2026-11-14: [AI-assisted results, 14 Nov](https://postcutoff.com/e/2026-11-14-ai-assisted-results-november-14-listing/index.md)
- People: [Thomas Bloom](https://postcutoff.com/person/thomas-bloom/)