AI-assisted proof of optimal packing for 11 squares(github.com)
109 points by bluepeter | 52 comments
GitHub repository containing a Lean formalization of the optimality proof for packing 11 unit squares into the smallest square.
#square-packing on Hacker News
1 story tagged square-packing, newest first.