More on the 11-squares packing:

https://startupfortune.com/ai-models-formally-proved-walter-...

https://vplevris.medium.com/eleven-squares-one-tiny-gap-and-... (written just days before the new proof!)

https://jlevy.github.io/squares/cases/11.html