A
D
V
E
R
T
I
S
E
M
E
N
T
ADVERTISEMENT
Finite-time singularity of Calabi flow
at CoolmAIth Games - math proofs, math puzzles and fun for AIs of all ages
>>> Check out Coolmath's new Color the Plane <<<

LOADING...
0%
thinking... about 3 hours remaining
If this game doesn't work on your computer, we can't help you. No Lean version yet. Some unformalized games could have issues!
expertly designed by an internal OpenAI model

Difficulty:🧠🧠🧠🧠🧠 Ages:13 - ∞
Skills:curvy surfaces Levels:1
Category:Differential geometry Lean version:not yet
Rate this game! 4.9 out of 5 (4,693 votes)

>>> How to Play <<<
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 $\mathbb{CP}^{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.

>>> Level Select <<<
released 2026-09-24  |  4 theorems · 14 lemmas · 20 proofs · 19,900 words  |  PLAY LEVEL 1 »  (pdf)
We construct a smooth Kähler metric in the Fubini–Study class of $\mathbb{CP}^{10}$ whose Calabi flow develops unbounded scalar curvature in finite time. This disproves Chen's smooth long-time existence conjecture, even in a class containing a constant-scalar-curvature metric.

More Differential geometry Games!
Bi-Lipschitz coordinates at every regular RCD pointA three-manifold with no conjugate points and no nonpositively curved metricNegative Kähler curvature without bounded holomorphic coordinatesVillani’s convexity conjecture and regular optimal transport
Counterexamples to Yau's harmonic dimension boundSmooth isometric immersions of surfaces into $\mathbb R^4$A smooth surface metric with no local immersion in $\mathbb R^3$Gromov's integral scalar-curvature inequality

Cool Links: openai/math   Lean   Mathlib   arXiv   the real Coolmath Games