AI-assisted proof of optimal packing for 11 squares

Summary

Researchers use AI assistance to formally verify the optimal packing arrangement for eleven squares within a larger square.

Carried by: Hacker News. First seen: 2026-10-07T14:45:01Z.