Scientists at Fudan University, Peking University, and the Shanghai Academy of AI for Science ...

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

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

Ukrainian mathematician Maryna Viazovska was awarded the Fields Medal, becoming the second woman to earn the prestigious honor. The International Mathematical Union awarded its Fields Medal—considered ...

Circle packing encapsulates the challenge of optimally arranging a set of circles within a given container without overlap, a process that has profound implications in both theoretical mathematics and ...