AI-assisted proof of optimal packing for 11 squaresgithub.com
99 points by bluepeter 8 hours ago | 46 comments