• Zwiebel@feddit.org
    link
    fedilink
    English
    arrow-up
    0
    ·
    3 days ago

    Fyi this is just the best known packing of 17 squares, there might be a better one. We just haven’t been able to proove it or find a better one since 1998