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

Look around at the world, and the objects in it–buildings, trees, people, birds, insects–appear to come in an endless variety of shapes. At first, cataloging these diverse shapes may seem impossible.