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

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

This article was published in Scientific American’s former blog network and reflects the views of the author, not necessarily those of Scientific American Earlier this year, Maryna Viazovska showed ...