AI-assisted proof of optimal packing for 11 squares

Article URL: https://github.com/Queuingtheorydotcom/11SquaresFormalized Comments URL: https://news.ycombinator.com/item?id=49993121 Points: 15 # Comments: 8