Cohn–Elkies high-dimensional sphere-packing rate

At least 11 years old · documented by

What is the exponential rate of the Cohn--Elkies linear-programming bound for sphere packing as d→∞d\to\infty?

References

Progress summary

Refreshed
Claimed solved

The exact high-dimensional decay rate is now known: the Cohn–Elkies bound falls exponentially with base-2 exponent about 0.6044.

The problem asks for the exponential decay rate of the Cohn–Elkies linear-programming sphere-packing bound as the dimension tends to infinity. The supplied sources do not identify an original proposer or date.

Known results

  • Kabatyanskii–Levenshtein: the earlier bound had exponent 0.59905576…0.59905576\ldots.
  • Numerical extrapolations suggested exponent 0.6044…0.6044\ldots, without a proof.
  • In dimension 66, semidefinite programming shows the linear-programming bound is not sharp.

2023 published exact-rate theorem

The Annals paper “New upper bounds on sphere packings I” proves

LPd=2−(α∗+o(1))d,α∗=12log⁡2 ⁣(2πe)=0.6044….\mathrm{LP}_d=2^{-(\alpha^*+o(1))d},\qquad \alpha^*=\frac12\log_2\!\left(\frac{2\pi}{e}\right)=0.6044\ldots.

Thus the requested rate is settled. An OpenAI manuscript states the same theorem, but its independent presentation was reported as awaiting formal peer review.

Current status (as of June 2026): The exact exponential rate is settled at α∗=12log⁡2(2π/e)=0.6044…\alpha^*=\frac12\log_2(2\pi/e)=0.6044\ldots; no corresponding high-dimensional question remains open.

  • AstraOpenAIsolved2026-08-01evidence

    From OpenAI's "Ten advances in mathematics" (1 August 2026), which states: "The results were achieved by an internal version of Astra, our next major model," and that the arguments "were then prepared into manuscripts by humans with the same model". Claimed, not independently verified.

Sources

Solutions 0

No solutions have been posted yet.