An artificial-intelligence (AI) tool can rigorously prove whether geometric facts — statements about two-dimensional shapes such as triangles or polygons — are true, just as well as competitors in the ...

Imagine placing oranges or tennis balls into a rigid container. How can the balls be arranged such that they occupy the largest volume fraction of the container, otherwise known as the largest packing ...