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

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

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

What is the most space-efficient way to pack tennis balls or oranges? Mathematicians have studied this “sphere-packing” problem for centuries, but surprisingly little attention has been paid to ...