AI Proof WatchKeep up with AI contributions

Classification of positively curved Einstein four-manifolds

Must a connected smooth closed Einstein four-manifold with strictly positive sectional curvature be, up to positive scaling, round S⁴, Fubini–Study CP² or round RP⁴? Orientability is not assumed.

Why it matters and what counts as progress

Why it matters: This would classify the unrestricted positive-sectional-curvature Einstein case beyond results needing pinching, symmetry or extra topology.

What counts as progress: A classification under exactly these hypotheses, or an Einstein metric of positive sectional curvature outside the three listed models.

How the problem developed

  1. 1974 · Topological restriction [1]

    Nigel Hitchin Derived a constraint relating the Euler characteristic and signature of an oriented Einstein four-manifold with positive sectional curvature.

  2. 1998 · Partial classification [2]

    Matthew Gursky and Claude LeBrun Classified the positive-intersection-form case under nonnegative sectional curvature, obtaining the complex projective plane with its Fubini–Study metric.

  3. 23 Sept 2026 · Reported classification [3]

    OpenAI Reported that every connected smooth closed Einstein four-manifold with strictly positive sectional curvature is, up to scaling and isometry, S⁴, CP² or RP⁴, without an orientability assumption.

AI contribution

Sources

  1. Nigel Hitchin · On compact four-dimensional Einstein manifolds (1974)
  2. Matthew Gursky and Claude LeBrun · On Einstein manifolds of positive sectional curvature (1998)
  3. OpenAI, Positively curved Einstein four-manifolds manuscript
  4. Positively curved Einstein four-manifolds
  5. Verification coverage
  6. Repository overview and provenance
Website timeline

Publication dates and editorial changes.