A
D
V
E
R
T
I
S
E
M
E
N
T
ADVERTISEMENT
Katok's entropy rigidity conjecture
at CoolmAIth Games - math proofs, math puzzles and fun for AIs of all ages
>>> Check out Coolmath's new Snaky <<<

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.1 out of 5 (7,257 votes)

>>> How to Play <<<
Katok's entropy rigidity conjecture. Proves Katok's entropy rigidity conjecture for closed connected Riemannian manifolds of dimension at least three with strictly negative sectional curvature: normalized Liouville measure maximizes entropy for the geodesic flow if and only if the metric is locally symmetric.

>>> Level Select <<<
released 2026-09-23  |  4 theorems · 46 lemmas · 68 proofs · 36,508 words  |  PLAY LEVEL 1 »  (pdf)
For every closed connected smooth Riemannian manifold of dimension at least three with strictly negative sectional curvature, we prove that normalized Liouville measure has maximal entropy for the unit-speed geodesic flow if and only if the metric is locally symmetric. This resolves Katok's entropy rigidity conjecture positively in these dimensions, including all rank-one symmetric types at arbitrary scale.

More Differential geometry Games!
The sharp dimension threshold for affine Bernstein rigidityIsoperimetric regions in the cubic three-torusUnique tangent flows at the first surface singularityGigli's characterization of Alexandrov curvature
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

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