Предположим, что у нас ровно k коробок полные. Тогда ровно k утверждений верно.Утверждение: "хотя бы n коробок пустые" можно перефразировать как "максимум 2014-n коробок полные"Тогда при k полных коробках можно определить истинность надписей на коробках.1) 2014 коробок пустые - 0 коробок полные - не верно2) хотя бы 2013 коробок пустые - максимум 1 полная - не верно...k) хотя бы 2015-k пустые - максимум k-1 полных - не верноk+1) хотя бы 2014-k пустые - максимум k полных - верноk+2) хотя бы 2013-k пустые - максимум k+1 полных - верно...2014) хотя бы 1 пустая - максимум 2013 полных - верноВидно, что пункты с 1 по k-й не верны, а пункты с k+1 по 2014 верные. Количество верных пунктов: 2014 - (k+1) + 1 = 2014-k. Оно равно, как мы условились, количеству полных коробок. То есть 2014-k=k. Отсюда k=1007.