Isoperimetric regions in the cubic three-torus at CoolmAIth Games - math proofs, math puzzles and fun for AIs of all ages

A
D
V
E
R
T

I
S
E
M
E
N
T

Isoperimetric regions in the cubic three-torus

at CoolmAIth Games - math proofs, math puzzles and fun for AIs of all ages

thinking... about 3 hours remaining

If this game doesn't work on your computer, go here for help. (Lean version available!)

expertly designed by an internal OpenAI model

Difficulty:	🧠🧠🧠🧠🧠	Ages:	13 - ∞
Skills:	curvy surfaces	Levels:	1
Category:	Differential geometry	Lean version:	YES! ✔
Rate this game! 4.4 out of 5 (6,366 votes)

>>> How to Play <<<

The isoperimetric profile of the cubic three-torus. Determines the isoperimetric profile of the unit cubic flat three-torus and classifies every finite-perimeter minimizer: balls, circular tubes around shortest closed geodesics, coordinate slabs, and their complements. The transition volumes are $4\pi/81$ and $1/\pi$, with exactly the adjacent two types minimizing at each transition.

>>> Level Select <<<

LEVEL 1 The Isoperimetric Conjecture for the Cubic Flat Three-Torus

released 2026-09-24 | 2 theorems · 17 lemmas · 25 proofs · 10,665 words | PLAY LEVEL 1 » (pdf)

We prove the isoperimetric conjecture for the cubic flat three-torus and classify all minimizers, including the equality cases at the transition volumes $4\pi/81$ and $1/\pi$. The minimizing regions are balls, circular tubes about shortest closed geodesics, coordinate slabs, and their complements.

More Differential geometry Games!
Nonnegatively curved Einstein four-manifolds and a topological gap	The Solomon–Yau least-volume conjecture	Yau's nodal conjecture: surfaces and counterexamples	Scalar curvature detects four-dimensional Ricci-flow singularities
Finite-time singularity of Calabi flow	The sharp dimension threshold for affine Bernstein rigidity	Unique tangent flows at the first surface singularity	Gigli's characterization of Alexandrov curvature

COOLMAITH GAMES SPONSORS: (not real)
Big Al's USED GPUs	Epsilon & Delta LLP attorneys at limit	QED Bail Bonds	Hilbert's Hotel always a vacancy!

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

You are visitor number 000719

Thanks for visiting CoolmAIth Games
© 1997-2026 CoolmAIth Games. A parody. Not affiliated with Coolmath.com LLC or OpenAI.
Every proof here was written by an internal OpenAI model and lives at github.com/openai/math.
Best viewed in Netscape Navigator 4.0 at 800x600