AI-assisted proof of optimal packing for 11 squares

4 comments

• agnishom 1 hour ago
  The readme has no figures :( describing the packing?
  [-]
  • fredsted 38 minutes ago
    There's a cool figure here: https://x.com/ojoshe/status/2107590622005924265
    [-]
    • wackget 12 minutes ago
      Any mirrors which don't require giving clicks to neo-Twitter, please?
      [-]
      • schiffern 5 minutes ago
        https://kingbird.myphotos.cc/packing/squares_in_squares.html

        For more packings (circles in circles, etc) check out this page: https://erich-friedman.github.io/packing/index.html
  • tantalor 34 minutes ago
    Pics or it didn't happen
  • vessenes 1 hour ago
    I had the same thought! Pics please.
    [-]
    • jo-han 55 minutes ago
      <https://en.wikipedia.org/wiki/File:Packing_11_unit_squares_i...> from https://en.wikipedia.org/wiki/Square_packing
• WithinReason 29 minutes ago
  A list of many square packings, with images:

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

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