AI-assisted proof of optimal packing for 11 squares

Published 2026-10-08 · news