Convex and metric geometry·OpenAI Math·Result 101
The sharp simplex conjecture for isotropic constants
One of the 372 results in OpenAI's public mathematics catalogue, filed under convex and metric geometry: 1 preprint, the latest dated 5 October 2026. This page quotes OpenAI's own summary of the claim, links the paper and abstract, and will embed the animation.
Latest paper
A sharp entropy bound and the simplex inequality for isotropic constants
The animation for this result has not been released yet. Subscribe on YouTube to catch it.
What OpenAI claims
Proves that simplices uniquely maximize the isotropic constant among convex bodies in every dimension, resolving the strong isotropic constant conjecture. Also establishes the sharp entropy lower bound for log-concave probability densities, with equality precisely for invertible affine images of products of one-sided exponential laws.
Paper
A sharp entropy bound and the simplex inequality for isotropic constants
We prove the strong isotropic constant conjecture: in each dimension, simplices are the unique maximizers of the isotropic constant among convex bodies. We also prove the sharp entropy bound h(f) ≥ m+1/2 log det Cov (f) for every log-concave probability density on ℝm, with equality precisely for invertible affine images of products of one-sided exponential laws.
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.
Related results in Convex and metric geometry
- 087The Mahler conjectures, functional inequalities and polar-product symplectic widthVideoLean
- 088Sharp projection-body inequalities and a counterexample to simplex maximizationLean
- 089Bounded-distortion L1 embeddings of planar and bounded-treewidth graphsLean
- 090Triangular-lattice optimality, long-range Riesz and Coulomb energies, and spherical logarithmic energyLean
- 091Logarithmic and Lp Brunn–Minkowski inequalities and the B-conjectureLean
- 092The optimal order of convex-body covering densityLean