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: 107 # Comments: 49
Read original article on Hacker News: Front Page →