Forskere har brukt AI-assistert formalisering til å bevise den optimale pakkingen av 11 kvadrater, publisert som åpen kildekode på GitHub.

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