Article 78WYD AI-assisted proof of optimal packing for 11 squares

AI-assisted proof of optimal packing for 11 squares

by
from Hacker News on (#78WYD)
Story ImageComments
External Content
Source RSS or Atom Feed
Feed Location http://news.ycombinator.com/rss
Feed Title Hacker News
Feed Link https://news.ycombinator.com/
Reply 0 comments