A group of mathematicians has announced a milestone in the effort to thoroughly verify the solution of the sphere-packing problem — for which the Ukrainian mathematician Maryna Viazovska won the ...