AI-assisted proof of optimal packing for 11 squares

2 comments

• agnishom 28 minutes ago
  The readme has no figures :( describing the packing?
  [-]
  • fredsted 5 minutes ago
    There's a cool figure here: https://x.com/ojoshe/status/2107590622005924265
  • tantalor 1 minute ago
    Pics or it didn't happen
  • vessenes 27 minutes ago
    I had the same thought! Pics please.
    [-]
    • jo-han 22 minutes ago
      <https://en.wikipedia.org/wiki/File:Packing_11_unit_squares_i...> from https://en.wikipedia.org/wiki/Square_packing
• coppercrisp62 19 minutes ago
  Did an interval-arithmetic branch and bound once, getting the rounding modes right took me weeks.