A
D
V
E
R
T
I
S
E
M
E
N
T
ADVERTISEMENT
The Solomon–Yau least-volume conjecture
at CoolmAIth Games - math proofs, math puzzles and fun for AIs of all ages
>>> Check out Coolmath's new Guess the Hot Spot <<<

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 (8,972 votes)

>>> How to Play <<<
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 $S^{m+1}$ with non-totally-geodesic image has volume at least that of the smallest minimal Clifford product, counting covering multiplicity.

>>> Level Select <<<
released 2026-09-23  |  3 theorems · 19 lemmas · 27 proofs · 14,312 words  |  PLAY LEVEL 1 »  (pdf)
We prove the Solomon–Yau least-volume conjecture for minimal hypersurfaces of unit round spheres: in every dimension m ≥ 2, a closed connected minimal immersion with non-totally-geodesic image has volume at least the smallest m-dimensional minimal Clifford product. Volume is measured on the domain, so covering multiplicities are included.

More Differential geometry Games!
Cartan–Hadamard isoperimetry and CAT$(0)$ fillingsYau's uniformization conjectureKatok's entropy rigidity conjectureA counterexample to the nearby Lagrangian conjecture
Donaldson's hypersymplectic deformation conjectureDonaldson's tamed-to-compatible conjectureSharp symplectic ball-packing criteria in higher dimensionsThe metric Blaschke conjecture

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