On: AI-assisted proof of optimal packing for 11 squares

[robinhouston]

They've just excluded square numbers because (as you noted) the solution is obvious. Except 4, for some reason.