AI-assisted proof of optimal packing for 11 squares

Этот проект демонстрирует AI‑поддерживаемый доказательный подход к оптимальному размещению 11 квадратов, что может ускорить разработку алгоритмов упаковки и опт