Claude-assisted construction claims a complex structure on the 6-sphere, answering Hopf's 1947 problem (pending verification)
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. This would answer Hopf's 1947 question. A Lean formalisation was reported on 27 Aug. Experts describe an emerging consensus that the construction is plausible, but independent verification is not complete.
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.'
Science result
- Field
- mathematics / complex / differential geometry
- Problem
- Hopf problem: does S⁶ admit an integrable complex structure? (open since 1947)
- Result
- Claimed explicit construction of integrable complex structures on S⁶ (answer: yes).
- AI system
- Claude (internal research model)
- Human role
- AI-assisted: human mathematician (Alpöge) directed and wrote up
- Verification
- Lean formalisation reported; independent expert verification ongoing
- Status
- pending
- Why surprising
- If it holds, a 79-year-old problem that resisted generations of geometers, including disputed claimed proofs by Michael Atiyah (2016) and others, was answered with AI help.
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.
Changelog
- 2026-09-29: created
Related events
- Claude Fable 5 finds a counterexample to the Jacobian conjecture in dimension 3 ★★★★★
- Claude proves more than two-thirds of Riemann zeta zeros are simple and on the critical line (up from 41.6%) ★★★★★
Sources (3)
- pressScientific American: AI solves 79-year-old math mystery of six-dimensional spheres
- pressOfficeChai: Anthropic researcher says Claude helped build a complex structure on S⁶
- paperFollow-up paper (arXiv 2609.26706)
id: 2026-08-23-hopf-problem-s6-complex-structure · updated 2026-09-29 · open in the interactive timeline