Я слышал от математиков, что если ответ "уродливый", то, возможно, вы задаете неправильный вопрос. Так является ли упаковка квадратов каким-то образом неправильным вопросом?

Мне не завидно тем, кто оценивает ответы на First Proof. Когда мы оценивали Grok 4, мне пришлось попросить помощи по одному из его решений USAMO. Один оценщик сказал 7/7. Другой сказал 0/7: блестящий подход, но он хитро полагается на выпуклость этого невыпуклого множества. Другой оценщик согласился и

4-летнему нравится "Где Уолдо?" сейчас, но 2-летнему не нравится, поэтому он спрятал книгу. Так что теперь мы играем в мета-версию.