The body-centered cubic lattice, abbreviated BCC, is the cubic lattice consisting of points at the vertices
and centers of the cubes in a
simple cubic lattice. A realization is . Rescaling to covolume
one gives
For a Bravais lattice of covolume one, define its renormalized
Coulomb energy by
Muratov and Novaga (2026) report a computer-assisted proof that uniquely minimizes
, up to orthogonal
transformations. Their comparison is among three-dimensional Bravais
lattices of fixed covolume, not arbitrary point
configurations or periodic crystals with multiple points per cell. The proof uses
interval certificates which have not been independently rerun here. Muratov and Novaga
(2026) report AI assistance with constructing, executing, and cross-checking the
verification code.