Artificial intelligence has formally verified the prizewinning proof that solved the sphere packing problem in eight dimensions, a result closely tied to Maryna Viazovska’s Fields Medal. The ...

Hancock, N.H. – Anyone faced with the task of building a freestanding pile of spheres quickly discovers an obvious solution: Start by laying out the densest possible two-dimensional packing and then ...

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 ...

In 1611 German mathematician Johannes Kepler made a conjecture about the densest way to stack oranges or other spheres with a minimum of space between them. It seemed nothing could beat the standard ...