AI-assisted proof of optimal packing for 11 squares

(github.com)

25 points | by bluepeter 1 hour ago

8 comments