Differential geometry·OpenAI Math·Result 354·Lean formalisation listed
The isoperimetric profile of the cubic three-torus
One of the 372 results in OpenAI's public mathematics catalogue, filed under differential geometry: 1 preprint, the latest dated 24 September 2026. This page quotes OpenAI's own summary of the claim, links the paper and abstract, and embeds the animation.
What OpenAI claims
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π/81 and 1/π, with exactly the adjacent two types minimizing at each transition. (Lean)
Paper
The Isoperimetric Conjecture for the Cubic Flat Three-Torus
We prove the isoperimetric conjecture for the cubic flat three-torus and classify all minimizers, including the equality cases at the transition volumes 4π/81 and 1/π. The minimizing regions are balls, circular tubes about shortest closed geodesics, coordinate slabs, and their complements.
Status
Preprint. The paper has not been independently reviewed. Treat the result as OpenAI's claim until other mathematicians have checked it. If a video exists, it illustrates the statement; it is not the proof.
Videos about this result
Related results in Differential geometry
- 355Unique tangent flows at the first surface singularity
- 356Gigli’s characterization of Alexandrov curvatureLean
- 357Bi-Lipschitz coordinates at every regular RCD point
- 358A three-manifold without conjugate points or nonpositive curvatureLean
- 359Negative Kähler curvature without bounded holomorphic coordinatesLean
- 360Weak MTW curvature gives convexity and regular optimal transportLean