AI helps complete a machine-checked proof for packing 11 squares

Original: AI-assisted proof of optimal packing for 11 squares

Source: github.com ↗