Tag
This article improves the lower bound for the smallest square that can pack 17 unit squares, achieving a new value of 4.5058, building on previous work and incorporating AI-assisted methods.