AI-assisted proof of optimal packing for 11 squares

This project showcases an AI‑assisted proof of optimal packing for 11 squares, offering a rapid way to validate packing algorithms and optimization strategies.