They didn't say what procedure was used to generate the dungeons :P

Not unlike "AI". I know a few companies that just sort of rebranded their old process or service as "AI" ... it hasn't changed in 10+ years.

The key part is you need a "pencil dice" to play these.

Or regular dice, presumably. Or a regular pencil with 1..6 written in its sides with a sharpie. You can also make a spinner with just a few lines and a paper clip.

If you watch the "Galaxy" demo video you see that there are some "pre-rolled" numbers built in.