Южнокорейский ученый Джинен Бэк, представляющий Университет Енсе, в сезон #зимниесказки в числе #10результатов объявил о решении одной из старейших математических задач, известной как «проблема дивана».
Задача, впервые сформулированная в 1966 году математиком Лео Мозером, звучит просто: какой самый большой диван можно протащить через угловой коридор шириной в один метр? Однако за прошедшие десятилетия она оставалась нерешенной. Её суть заключалась в определении максимальной площади двухмерного объекта, который может пройти через такой коридор.
Джинен Бэк использовал инъективную функцию - мощный математический метод, позволивший ему доказать, что решение, предложенное Гервиром, действительно является единственным верным. Его работа стала первым убедительным доказательством, окончательно разрешившим вопрос. Однако для полного признания требуется прохождение рецензирования.