Hacker News
new
|
ask
|
show
|
jobs
AI-assisted proof of optimal packing for 11 squares
(github.com)
99 points
by
bluepeter
8 hours ago
|
46 comments
Loading...