Independently checked AI-assisted

A complex structure on the six-sphere

An explicit compact complex threefold, built as a family of 2-tori over the $(3, 4, \infty)$ orbifold, is diffeomorphic to the six-sphere, which settles the question Hopf raised in 1948 of whether the six-sphere admits a complex structure.

Lab: Anthropic
Model: Claude, version not stated
Field: Mathematics
Date: 2026-08-23
Human collaborators: Levent Alpöge
Problem posed: 1948 · open 78 yrs

Sources

What was found

Whether the six-sphere admits a complex structure is the surviving case of a question going back to Hopf: the two-sphere and the six-sphere are the only spheres carrying an almost complex structure, and only the six-dimensional case is open. The manuscript builds a threefold $X$ fibred over the projective line by complex 2-tori, using the period functions of the $(3, 4, \infty)$ triangle group, degenerating to a degree-six del Pezzo fibre at one special point and to bielliptic multiple fibres of multiplicities 3 and 4 at the other two. It argues that $X$ is simply connected with the integral homology of the six-sphere, hence diffeomorphic to it, and that its algebraic dimension is exactly 1. That last number is where the paper collides with the literature, and it says so itself rather than passing over it.

Novelty check

The problem is named, ancient and heavily attempted: Hopf posed it in 1948, and the modern literature runs through Chern, Bryant, LeBrun and the Campana-Demailly-Peternell papers the manuscript cites and disputes. Its 60-item bibliography is real and checkable. The specific construction, a family of 2-tori over the $(3, 4, \infty)$ orbifold completed at its three special points, does not appear in the prior literature, and no accepted complex structure on the six-sphere exists. Atiyah's 2016 attempt is the best-known recent failure and is not this argument. The construction is new. Its correctness is what the independent checks recorded here address.

Caveats and known objections

Entered at claimed and upgraded to independently checked on 2026-09-24, on two checks by people outside Anthropic who used different means. Philip Engel wrote a self-contained proof of the construction by a geometric route and states that he verified the mathematical content independently. Boris Alexeev formalized the full statement in Lean against a statement adapted from Formal Conjectures, which now lists the Hopf problem as solved and links his proof. It is not graded formal because no third-party rebuild of that 248,818-line development is on record, and Mohammed Abouzaid, while saying the formalization is making the community confident, called the original manuscript so poorly written that checking it will take a while. Not peer-reviewed. The AI attribution still rests on the author's post on X: the 108-page manuscript was read here in full and has no acknowledgements section, no methods note and no mention of Claude, Anthropic or any paraphrase, and Engel records that the precise nature of the interaction between Alpöge and Claude is not documented. Autonomy is graded ai-assisted because that is all the disclosure can carry, not because the contribution is known to be small. The model version is not stated. The result contradicts published work: the paper carries a section on why the argument of the Campana-Demailly-Peternell corrigendum does not apply, and a remark that its theorem contradicts that paper's Corollary 2.3 as published, locating the divergence in a non-vanishing higher direct image and in a lemma that assumes trivial monodromy where here the monodromy is non-trivial. Engel's write-up flags the same collision with the 1998 result that such a structure must have algebraic dimension zero. With two independent checks on record, the burden has shifted to that earlier literature.

Independent checks

Philip Engel, University of Illinois Chicago: Wrote a self-contained proof of the construction by a different, geometric route (a rational elliptic surface, logarithmic transforms, then van Kampen and Leray computations giving a simply connected integral homology six-sphere) and states that he verified the mathematical content independently. He discloses using ChatGPT to explore the original and draft arguments. · link ↗

Boris Alexeev (OpenAI), Lean formalization: Formalized that the unit six-sphere carries a complex manifold structure compatible with its standard topology, against a statement adapted from Formal Conjectures (Mathoverflow 1973). At commit 9ac8a456 the proof file has no sorry and no axiom declarations and the comparator permits only the three standard axioms; Formal Conjectures now marks the problem solved and links this proof. Counted here from a clone, not rebuilt. · link ↗

Also recorded at

vibemathedmodular-family-of-2-tori-as-a-complex-structure-on-s6

Nothing mechanically. It is a parallel listing of the same result, carrying its own verification label rather than an independent check.

Disagree with these grades?

Bring a citation: a grade moves on evidence, not on argument.

Challenge this grade Submit a check

Or on GitHub: submit a check challenge the grade send a correction or send a pull request

History of this entry

2026-09-24RegradedUpgraded from claimed to independently checked: Philip Engel published a self-contained proof he verified independently, and Boris Alexeev formalized the full statement in Lean against a Formal Conjectures statement. Autonomy did not move. source ↗
2026-08-25AddedEntered the registry graded Independently checked and AI-assisted.

Entries are never deleted. A grade that does not hold up is downgraded on the record, with the reason beside it.

Community discussion

Hacker NewsA complex structure on S⁶↗Hacker NewsFormalization of the Solution to the Hopf Problem↗

Graded independently checked for verification and ai-assisted for autonomy. What these mean.

Cite this entry

Plain text

whataifound.org. (2026). A complex structure on the six-sphere. whataifound.org: A Registry of AI Scientific and Mathematical Discoveries. https://whataifound.org/finding/2026-08-23-s6-complex-structure

BibTeX

@misc{whataifound-anthropic-2026-structure,
  title        = {A complex structure on the six-sphere},
  author       = {{whataifound.org}},
  year         = {2026},
  howpublished = {whataifound.org: A Registry of AI Scientific and Mathematical Discoveries},
  note         = {Result by Anthropic. Verification: Independently checked. Autonomy: AI-assisted.},
  url          = {https://whataifound.org/finding/2026-08-23-s6-complex-structure}
}

Related findings

Author verifiedA smooth counterexample to the Trautman conjectureOklahoma State University · 2026-09-02 Author verifiedCounterexample to the Yau–Tian–Donaldson conjecture for constant scalar curvature metricsIndependent · 2026-08-19 ClaimedCounterexample to the smooth Carathéodory conjecture on umbilic pointsIndependent · 2026-08-19

complex-geometry differential-geometry hopf-problem construction contested

← All mathematics findings in the registry