AI-assisted proof of optimal packing for 11 squares

(github.com)

39 points | by bluepeter 2 hours ago

10 comments