Claude-assisted construction claims a complex structure on the 6-sphere, answering Hopf’s 1947 problem (pending verification)
Awaiting review
Importance: historic (5 of 5)The takeaway
On 23 Aug 2026 Anthropic’s Levent Alpöge posted a 100+ page document, produced with an internal Claude model, claiming that the 6-sphere S⁶ admits an integrable complex structure.
Status
- Claim
Awaiting review
- Our reporting
- Medium confidence
- Verification
- Lean proof, not yet reviewed
- Importance
- Historic (5 of 5)
- Last verified
- 30 October 2026
Your AI and this story
- GPT-6 Astra115 days after its cutoff
- Claude Opus 5.554 days after its cutoff
- Gemini 4 Hydrogen145 days after its cutoff
- Grok 4.784 days after its cutoff
None of these four assistants can know about it. The closest, Claude Opus 5.5, stops 54 days before it.
Key facts
- Construction from the (3,4,∞) modular family of 2-tori, completed at its three special points; yields uncountably many non-biholomorphic Oka complex structures
- Boris Alexeev (OpenAI) reported a Lean formalisation on 27 Aug 2026
- Robert Bryant: ‘emerging consensus that the construction is plausible’
- Ilka Agricola: ‘You don’t know how many prompts were needed to arrive at the result, how much human fine-tuning was required.’
- Jeff Viaclovsky constructed a two-parameter family of complex structures on S^6 that are ‘not biholomorphic to the original Alpöge–Claude examples’, following Philip Engel’s construction and using ChatGPT 6 Astra for drafting and most computations in Sections 4–5 (arXiv 2609.33785, 27 Sep 2026)
- Viaclovsky again (arXiv 2610.39102, 29 Oct 2026, ‘Logarithmic transformations on the six-sphere’): infinitely many choices of multiplicities in the logarithmic-transformation step of the Alpöge–Claude construction give complex threefolds diffeomorphic to S^6, pairwise biholomorphically inequivalent. He cites the construction as ‘Claude and Levent Alpöge’ (preprint alpo.ge/s6.pdf) via Engel’s exposition (arXiv 2609.38442); AI statement: ‘AI tools were used to help in drafting parts of the paper and performing some computational steps, under explicit directions from the author. All arguments and calculations have been verified by the author’
What happened
Weeks after the Jacobian counterexample, Alpöge released a long construction of complex structures on S⁶, followed by a reported formalisation.
Why it matters
The existence of a complex structure on S⁶ is one of the best-known open problems in geometry. Confirmation would make this among the biggest AI-assisted pure-maths results. Status: pending.
What is disputed or not yet verified
| Verification | Lean formalisation reported; independent expert verification ongoing |
|---|
Sources
5 sources from 3 sites. Numbers match the chips in the text.
5 sources: 3 primary, 2 press
Primary
- Follow-up paper (arXiv 2609.26706)arxiv.org, paper
- arXiv 2609.33785: A two-parameter family of complex structures on S^6 (Viaclovsky)arxiv.org, paper
- arXiv 2610.39102: Logarithmic transformations on the six-sphere (Viaclovsky)arxiv.org, paper
Press
- Scientific American: AI solves 79-year-old math mystery of six-dimensional spheresscientificamerican.com, press
- OfficeChai: Anthropic researcher says Claude helped build a complex structure on S⁶officechai.com, press
Changes
- Added Viaclovsky’s infinitely many inequivalent structures from the logarithmic-transformation step (arXiv 2610.39102)
- Added Viaclovsky’s two-parameter family (arXiv 2609.33785)
- Filed