AI-assisted proof of optimal packing for 11 squares | TickerVault