Forskere har brukt KI-verktøy til å bevise den optimale løsningen for pakking av 11 kvadrater i et avgrenset areal.

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