Это очень интересный вопрос. В фундаментальном труде "Война в Корее 1950-1953" коллектива авторов под руководством С. С. Лотоцкого упоминания об АК-47 я не встречал (про пушки, пулемёты, самолёты и т. п. пишется весьма подробно) . Там указано, что в пехотной дивизии КНА в 1950-ом году было 1950 автоматов на 12 196 человек личного состава, но в расшифровке применявшегося КНА и КНД оружия автоматы вообще не фигурируют.
Из того, что есть в И-нете я встречал первое боевое применение этого автомата в 1956-ом году, когда война в Корее уже закончилась.
Прекрасно известно участие в Корейской Войне советских солдат. Например, в ней участвовали советские военные лётчики, которые показали превосходство на то время наших ВВС над ВВС США. Другое дело, что военных из СССР было там на пару порядков меньше, чем КНД, что потом было одной из причин осложнений в отношениях между СССР и КНР.