AI-assisted proof of optimal packing for 11 squares

Posted 11 hours ago by bluepeter
109 points

https://github.com/Queuingtheorydotcom/11SquaresFormalized

17 comments

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..