Да, видел несколько демок. В основном там используют комбинацию процедурной генерации шума и ограничений, основанных на правилах. Шум задаёт первоначальную случайную форму, а ограничения – ну, например, “не делай комнату босса посередине лабиринта” – направляют это в играбельные структуры. Обычно это жёстко заданные веса, но чтобы подстроить их под разные стили игры, нужно много данных и итераций. Думаю, самое сложное – чтобы случайные элементы не ломали игровой процесс, чтобы система постоянно училась на основе отзывов игроков.