G github.com AI-assisted proof of optimal packing for 11 squares 119 points bluepeter 24 days ago 55 comments
