What was already known
The paper compares these constructions with the packing records it cites, and notes subsequent human refinement.
What changed and why it matters
Improves reported finite geometric constructions in a specified packing problem.
The AI contribution
AlphaEvolve found candidate arrangements that were later analyzed and refined by a human researcher.
Limitations
Rounded side lengths are descriptive, not exact feasibility certificates. Optimality is not established; human analysis refined the configurations. AIProofWatch has not verified coordinates.
Verification evidence
Evidence labels show what supports the claim. Importance rates its impact if correct.
Author claim
Packing discussion and Figure 22 in version 3.
Accessible artifact / proof
Authors’ repository of problem constructions; not rerun here.
Correction and publication history
Historical seed, researched for the initial catalog. Initial alerting disabled.
Read this published revision