∑math20

Convex and metric geometry · Result 101

The sharp simplex conjecture for isotropic constants

1 paper

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.

Watch

1

The problem

What is being asked, where it comes from, and why it is hard. No proof needed.

▶Introduction to the problemin preparation
2

The solution proposed by OpenAI

How the paper solves it, step by step.

Full explanation
▶The proposed solutionin preparation

Papers 1

First page of A sharp entropy bound and the simplex inequality for isotropic constants

A sharp entropy bound and the simplex inequality for isotropic constants

OpenAI · October 5, 2026

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)\ge m+\tfrac12\log\det\mathop{\mathrm{Cov}}\nolimits (f)\) for every log-concave probability density on ℝm, with equality precisely for invertible affine images of products of one-sided exponential laws.

Read PDF Download Source

Cite
@misc{OAI:A-sharp-entropy-bound-and-the-simplex-inequality-for-isotropic-constants-October-5-2026,
  author = {{OpenAI}},
  title = {{A sharp entropy bound and the simplex inequality for isotropic constants}},
  howpublished = {OpenAI Math Release preprint
                  \href{https://github.com/openai/math/blob/main/preprints/A-sharp-entropy-bound-and-the-simplex-inequality-for-isotropic-constants-October-5-2026/isotropic-simplex.pdf}{OAI:A-sharp-entropy-bound-and-the-simplex-inequality-for-isotropic-constants-October-5-2026}},
  year = {2026}
}

Formal verification

No Lean formalization is listed for this result yet. The repository notes that unformalized results could have issues.