Оптимальная упаковка 11 квадратов

Скриншот публикации в X: пользователь пишет «ugh, this came out just when i needed it» — «эх, это появилось как раз тогда, когда мне это было нужно». Ниже показан пакет с бутербродами, аккуратно уложенными в форме плотной мозаики из квадратов. Шутка построена на том, что пост о математически оптимальной упаковке 11 квадратов идеально совпал с фотографией бутербродов, разложенных в похожем порядке. Получившаяся «оптимальная упаковка» выглядит неожиданно satisfying и особенно забавно для человека, которому как раз понадобился пример укладки квадратных предметов.

Ugh, this came out just when I needed it. The optimality of the packing for 11 squares has been formalized in Lean thanks to Astra a...