Compilation··3:07·Differential geometry
Calabi Flow, Affine Bernstein Problem and 7 More in Differential Geometry
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.
- Nonnegatively Curved Einstein 4-Manifolds Differential geometry
- The Solomon–Yau Least-Volume Conjecture Differential geometry
- Scalar Curvature and Ricci Flow Singularities Differential geometry
- Calabi Flow Differential geometry
- Affine Bernstein Problem Differential geometry
- Gigli's Conjecture on Alexandrov Curvature Differential geometry
- Bi-Lipschitz Coordinates at Regular RCD Points Differential geometry
- A 3-Manifold With No Conjugate Points but No Nonpositive Curvature Differential geometry
- 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)
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.
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.
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.
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)
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)
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.
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)
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)
Topics
Einstein manifoldSolomon-Yau conjectureRicci flowCalabi flowaffine Bernstein problemAlexandrov spacesRCD spacesconjugate pointsYau conjectureDifferential geometryOpenAI mathAI proofAI mathematicsmathsGradient Damage