Цитата:
This problem turned out to be much trickier than we expected. We have yet to
see a complete solution, but let us know if you find one!
У меня похожий случай был. На краевой олимпиаде для 8-го класса была такая задача:
Найти наибольшее количество квадратов со стороной которое можно разместить без наложений в круге радиуса Пример для 8 квадратов легко находится, а вот далее у авторов было такое "доказательство":
9 квадратов разместить нельзя, поскольку у наиболее плотной упаковки в виде квадрата диагональ равна Жюри признавало, что доказательство некорректно, но снять задачу смелости не хватило...