AI-assisted proof of optimal packing for 11 squares

4 comments

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

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

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