When Ukrainian mathematician Maryna Viazovska received a Fields Medal—widely regarded as the Nobel Prize for mathematics—in July 2022, it was big news. Not only was she the second woman to accept the ...

Mathematicians achieve a milestone in verifying the sphere-packing problem solution using Lean, enhancing proof reliability and formalisation efforts.

Mathematicians like to generalize concepts into higher dimensions. Sometimes this is easy. If you want to efficiently pack squares in two dimensions, you arrange them like a checkerboard. To squeeze ...