Compilation··3:07·Differential geometry

Calabi Flow, Affine Bernstein Problem and 7 More in Differential Geometry

Compilation · 3:07 · 15 October 2026Watch on YouTube →

Watch on YouTubeAbout the problem →

About this video

9 results from OpenAI's public mathematics catalogue, one per chapter. Each chapter names the problem, shows the real objects, and states what OpenAI claims; none of it is peer reviewed yet.

Chapters:
0:00 Nonnegatively Curved Einstein 4-Manifolds
0:22 The Solomon–Yau Least-Volume Conjecture
0:42 Scalar Curvature and Ricci Flow Singularities
1:03 Calabi Flow
1:23 Affine Bernstein Problem
1:44 Gigli's Conjecture on Alexandrov Curvature
2:05 Bi-Lipschitz Coordinates at Regular RCD Points
2:25 A 3-Manifold With No Conjugate Points but No Nonpositive Curvature
2:46 Yau's Harmonic Function Question

Nonnegatively Curved Einstein 4-Manifolds: An Einstein metric balances curvature perfectly: its Ricci curvature is the same multiple of the metric in every direction.
Explained: gradientdamage.com/p/348
Paper: github.com/openai/math/blob/main/preprints/Positively-curved-…

The Solomon–Yau Least-Volume Conjecture: Inside a round sphere, minimal hypersurfaces are the soap films: their mean curvature is zero.
Explained: gradientdamage.com/p/349
Paper: github.com/openai/math/blob/main/preprints/The-Solomon-Yau-le…

Scalar Curvature and Ricci Flow Singularities: Ricci flow, ∂g/∂t = −2 Ric, smooths a shape the way heat smooths temperature, but it can break down in finite time when curvature blows up somewhere.
Explained: gradientdamage.com/p/351
Paper: github.com/openai/math/blob/main/preprints/A-closed-Ricci-flo…

Calabi Flow: Calabi flow is a geometric heat flow for Kähler metrics: it moves a metric in the direction that evens out its scalar curvature, the way heat evens out temperature.
Explained: gradientdamage.com/p/352
Paper: github.com/openai/math/blob/main/preprints/A-finite-time-sing…

Affine Bernstein Problem: The affine Bernstein problem asks whether every entire convex graph solving the affine maximal surface equation must be an elliptic paraboloid.
Explained: gradientdamage.com/p/353
Paper: github.com/openai/math/blob/main/preprints/The-affine-Bernste…

Gigli's Conjecture on Alexandrov Curvature: Alexandrov defined "curvature at least κ" for spaces that need not be smooth, by comparing triangles: on a space of curvature at least 0, every triangle of shortest paths is at least as fat as the flat triangle with the…
Explained: gradientdamage.com/p/356
Paper: github.com/openai/math/blob/main/preprints/Giglis-distributio…

Bi-Lipschitz Coordinates at Regular RCD Points: RCD spaces are spaces with Ricci curvature bounded below that need not be smooth: they can have corners and creases.
Explained: gradientdamage.com/p/357
Paper: github.com/openai/math/blob/main/preprints/Bi-Lipschitz-Coord…

A 3-Manifold With No Conjugate Points but No Nonpositive Curvature: On a sphere, geodesics leaving one point all meet again at the opposite pole: a conjugate point.
Explained: gradientdamage.com/p/358
Paper: github.com/openai/math/blob/main/preprints/A-Three-Manifold-W…

Yau's Harmonic Function Question: In flat 3D space, the harmonic functions that grow no faster than distance to the power k are the harmonic polynomials, and there are exactly (k+1)² of them.
Explained: gradientdamage.com/p/361
Paper: github.com/openai/math/blob/main/preprints/A-counterexample-t…

The animations illustrate the results; they are not proofs.

Gradient Damage: mathematics you can see, equations you can hear.
youtube.com/@gradientdamage

Chapters

One problem per chapter. Each name links to the result's own page, each time to that moment on YouTube.

  1. Nonnegatively Curved Einstein 4-Manifolds Differential geometry
  2. The Solomon–Yau Least-Volume Conjecture Differential geometry
  3. Scalar Curvature and Ricci Flow Singularities Differential geometry
  4. Calabi Flow Differential geometry
  5. Affine Bernstein Problem Differential geometry
  6. Gigli's Conjecture on Alexandrov Curvature Differential geometry
  7. Bi-Lipschitz Coordinates at Regular RCD Points Differential geometry
  8. A 3-Manifold With No Conjugate Points but No Nonpositive Curvature Differential geometry
  9. Yau's Harmonic Function Question Differential geometry

Chapter 1: about the problem

Differential geometry·OpenAI Math·Result 348

Nonnegative-curvature Einstein classification and an L2 topological gap

Classifies closed connected Einstein four-manifolds with positive Einstein constant and nonnegative sectional curvature: up to scaling, their universal Riemannian covers are the round S4, Fubini–Study ℂℙ2, or a product of equal round two-spheres. A closed simply connected nonnegatively curved four-manifold is diffeomorphic to one of these whenever the scale-invariant L2 norm of its trace-free Ricci curvature lies below a universal positive constant. (Lean)

OpenAI, in its public catalogue of maths results · preprint, not peer reviewed

The papers and the claim →

Chapter 2: about the problem

Differential geometry·OpenAI Math·Result 349·from 0:22

The Solomon–Yau least-volume conjecture

Proves the Solomon–Yau least-volume conjecture for minimal hypersurfaces of round spheres. For every m ≥ 2, a closed connected minimal immersion into the unit sphere Sm+1 with non-totally-geodesic image has volume at least that of the smallest minimal Clifford product, counting covering multiplicity.

OpenAI, in its public catalogue of maths results · preprint, not peer reviewed

The papers and the claim →

Chapter 3: about the problem

Differential geometry·OpenAI Math·Result 351·from 0:42

Scalar curvature and finite-time Ricci-flow singularities

Proves that a smooth Ricci flow on a closed four-manifold extends past any finite time at which scalar curvature remains uniformly bounded. A higher-dimensional counterexample has bounded scalar curvature but unbounded full curvature at its finite maximal time, disproving the unrestricted scalar-curvature extension conjecture.

OpenAI, in its public catalogue of maths results · preprint, not peer reviewed

The papers and the claim →

Chapter 4: about the problem

Differential geometry·OpenAI Math·Result 352·from 1:03

A finite-time singularity of Calabi flow

Disproves Chen's smooth long-time existence conjecture for Calabi flow by constructing a smooth U(10)-invariant Kähler metric on ℂℙ10 whose flow develops a finite-time singularity. The metric lies in the Fubini–Study class, so the failure occurs even in a class containing a constant-scalar-curvature metric.

OpenAI, in its public catalogue of maths results · preprint, not peer reviewed

The papers and the claim →

Chapter 5: about the problem

Differential geometry·OpenAI Math·Result 353·from 1:23

Affine Bernstein rigidity through dimension nine and a smooth dimension-ten counterexample

Proves that every smooth locally uniformly convex affine-maximal graph of dimension three through nine, complete for its induced Euclidean metric, is an elliptic paraboloid. A smooth entire nonquadratic example in dimension ten makes this range sharp. In dimensions three through nine, the paraboloid classification also holds for connected open locally uniformly convex affine-maximal hypersurfaces complete for the affine Berwald–Blaschke metric. (Lean)

OpenAI, in its public catalogue of maths results · preprint, not peer reviewed

The papers and the claim →

Chapter 6: about the problem

Differential geometry·OpenAI Math·Result 356·from 1:44

Gigli’s characterization of Alexandrov curvature

Proves Gigli's conjecture: in every integer dimension n ≥ 2, Alexandrov curvature at least κ is characterized by the full-support RCD ((n-1)κ,n) condition with reference measure ℋn and distributional sectional curvature at least κ in the original global test classes. The RCD condition is unreduced. (Lean)

OpenAI, in its public catalogue of maths results · preprint, not peer reviewed

The papers and the claim →

Chapter 7: about the problem

Differential geometry·OpenAI Math·Result 357·from 2:05

Bi-Lipschitz coordinates at every regular RCD point

Proves that every regular point of a noncollapsed RCD (K,n) space, for K ∈ ℝ and integer n ≥ 2, has an open neighborhood bi-Lipschitz to an open subset of ℝn. Regularity requires all pointed tangents to be Euclidean, the reference measure is exactly ℋn, and the chart compares ambient distances with a point-dependent finite constant.

OpenAI, in its public catalogue of maths results · preprint, not peer reviewed

The papers and the claim →

Chapter 8: about the problem

Differential geometry·OpenAI Math·Result 358·from 2:25

A three-manifold without conjugate points or nonpositive curvature

Constructs a closed connected orientable smooth three-manifold that admits a metric without conjugate points but no metric of nonpositive sectional curvature. This answers negatively, already in dimension three, whether the first metric-existence property implies the second. (Lean)

OpenAI, in its public catalogue of maths results · preprint, not peer reviewed

The papers and the claim →

Chapter 9: about the problem

Differential geometry·OpenAI Math·Result 361·from 2:46

Failure of integer-degree harmonic dimension comparison

Disproves Yau's proposed Euclidean dimension bound for harmonic functions of integer growth on manifolds with nonnegative Ricci curvature. For every sufficiently large integer k, a complete smooth metric on ℝ3 has at least (k+2)2 independent harmonic functions of growth at most k, exceeding the Euclidean count (k+1)2. The metric may depend on k. (Lean)

OpenAI, in its public catalogue of maths results · preprint, not peer reviewed

The papers and the claim →

Topics

Einstein manifoldSolomon-Yau conjectureRicci flowCalabi flowaffine Bernstein problemAlexandrov spacesRCD spacesconjugate pointsYau conjectureDifferential geometryOpenAI mathAI proofAI mathematicsmathsGradient Damage