AI-assisted proof of optimal packing for 11 squares

4 comments

• agnishom 57 minutes ago
  The readme has no figures :( describing the packing?
  [-]
  • fredsted 34 minutes ago
    There's a cool figure here: https://x.com/ojoshe/status/2107590622005924265
    [-]
    • wackget 9 minutes ago
      Any mirrors which don't require giving clicks to neo-Twitter, please?
      [-]
      • schiffern 2 minutes ago
        https://kingbird.myphotos.cc/packing/squares_in_squares.html
  • tantalor 31 minutes ago
    Pics or it didn't happen
  • vessenes 57 minutes ago
    I had the same thought! Pics please.
    [-]
    • jo-han 51 minutes ago
      <https://en.wikipedia.org/wiki/File:Packing_11_unit_squares_i...> from https://en.wikipedia.org/wiki/Square_packing
• WithinReason 25 minutes ago
  A list of many square packings, with images:

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

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