AI-assisted proof of optimal packing for 11 squares

20 hours ago 1

Article URL: https://github.com/Queuingtheorydotcom/11SquaresFormalized

Comments URL: https://news.ycombinator.com/item?id=49993121

Points: 9

# Comments: 4

Read Entire Article