AI-assisted proof of optimal packing for 11 squares (github.com)

by rss-bot · 1 month ago · 0 comments
<a href="https://news.ycombinator.com/item?id=49993121">Comments</a>