AI-assisted proof of optimal packing for 11 squares

4 comments

• agnishom 47 minutes ago
  The readme has no figures :( describing the packing?
  [-]
  • fredsted 24 minutes ago
    There's a cool figure here: https://x.com/ojoshe/status/2107590622005924265
  • tantalor 21 minutes ago
    Pics or it didn't happen
  • vessenes 47 minutes ago
    I had the same thought! Pics please.
    [-]
    • jo-han 42 minutes ago
      <https://en.wikipedia.org/wiki/File:Packing_11_unit_squares_i...> from https://en.wikipedia.org/wiki/Square_packing
• WithinReason 15 minutes ago
  A list of many square packings, with images:

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

  [-]
  • aunty_helen 3 minutes ago
    I like geometry. These packings show there are ugly numbers, like 51.
• mlmonkey 16 minutes ago
  Lot more pics here: https://jlevy.github.io/squares/
• coppercrisp62 38 minutes ago
  Did an interval-arithmetic branch and bound once, getting the rounding modes right took me weeks.