New upper bound for lattice covering by spheres

October 9, 2025