Cohn–Elkies high-dimensional sphere-packing rate
What is the exponential rate of the Cohn--Elkies linear-programming bound for sphere packing as ?
References
Primary source
Progress summary
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 .
- Numerical extrapolations suggested exponent , without a proof.
- In dimension , 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
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 ; no corresponding high-dimensional question remains open.
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.
Solutions 0
No solutions have been posted yet.