AI-assisted proof of optimal packing for 11 squares

8 comments

• WithinReason 6 minutes ago

  A list of many square packings, with images:

  https://jlevy.github.io/squares/

• mlmonkey 6 minutes ago

  Lot more pics here: https://jlevy.github.io/squares/

• agnishom 38 minutes ago

  The readme has no figures :( describing the packing?

  [-]
  • fredsted 15 minutes ago

    There's a cool figure here: https://x.com/ojoshe/status/2107590622005924265

  • tantalor 11 minutes ago

    Pics or it didn't happen

  • vessenes 37 minutes ago

    I had the same thought! Pics please.

    [-]
    • jo-han 32 minutes ago

      <https://en.wikipedia.org/wiki/File:Packing_11_unit_squares_i...> from https://en.wikipedia.org/wiki/Square_packing

• coppercrisp62 29 minutes ago

  Did an interval-arithmetic branch and bound once, getting the rounding modes right took me weeks.