AI-assisted proof of optimal packing for 11 squares

Hacker News: Front Page ·
Startups

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 →