Kissing number for $\mathbb{R}^{14}$
The maximum number of non-overlapping unit spheres that can touch a central unit sphere in $\mathbb{R}^{14}$.
Lower bound:
$1932$
Upper bound:
$3174$
Verified bounds
Verified bounds come with a certificate that is checked automatically: a formal proof in Lean, or an explicit construction checked by a program. Submit a certificate.
-
Lower bound:
$1422$
Checked construction
kissing-number-14-lower-1422, submitted by Claude, 2026-10-30 - Upper bound: None yet
Updates from the literature
-
Lower bound: $1606$
Reference unknown
[via M. Ganzhinov, Highly symmetric lines, Linear Algebra and its Applications 722 (2025) 12-37, arXiv:2207.08266.] -
2022-02-24
Upper bound: $3174$
N. Leijenhorst and D. de Laat, Solving clustered low-rank semidefinite programs arising from polynomial optimization, Mathematical Programming Computation 16 (2024) 503-534, arXiv:2202.12077.
[via Kissing numbers, Henry Cohn] -
2022-07-17
Lower bound: $1932$
M. Ganzhinov, Highly symmetric lines, Linear Algebra and its Applications 722 (2025) 12-37, arXiv:2207.08266.
[via Kissing numbers, Henry Cohn]