Honeycomb conjecture
The honeycomb conjecture states that a regular hexagonal grid or honeycomb is the best way to divide a surface into regions of equal area with the least total perimeter. The conjecture was proven in 1999 by mathematician Thomas C. Hales.
Let Γ be a locally finite graph in R2, consisting of smooth curves, and such that R2 \Γ has infinitely many bounded connected components, all of unit area. Let C be the union of these bounded components. Then
Equality is attained for the regular hexagonal tile.
The first record of the conjecture dates back to 36BC, from Marcus Terentius Varro, but is often attributed to Pappus of Alexandria (c. 290 – c. 350). The conjecture was proven in 1999 by mathematician Thomas C. Hales, who mentions in his work that there is reason to believe that the conjecture may have been present in the minds of mathematicians before Varro.
It is also related to the densest circle packing of the plane, where every circle is tangent to 6 other circles which fill just over 90% of the area of the plane.
...
Wikipedia