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.
#ai-assisted-proof on Hacker News
1 story tagged ai-assisted-proof, newest first.