AI-assisted proof of optimal packing for 11 squares

99 pointsgithub.com
bluepeter8hrs