Definition
A classic math problem about fitting as many circles as possible into a region without overlapping.
A canonical computational-geometry optimization problem (e.g., packing equal circles in a unit square), used as a benchmark for LLM-driven optimization systems like AlphaEvolve and optimize-anything.