Цитата:
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 квадратов разместить нельзя, поскольку у наиболее плотной упаковки в виде квадрата
диагональ равна

Жюри признавало, что доказательство некорректно, но снять задачу смелости не хватило...