While watching it, I wondered whether the "this x does not exist," GAN sites also implies a subset of "this x <i>must</i> exist" and if looking at it that way could yield discoveries in other areas. e.g. This X must exist, where x was a solar system, protein, wave function, chemical substance, cell, transcendental number, etc. Naive view, but when you're extapolating from a field of arbitrary 2D data, it seems there are a lot of ladders you could climb with that.