The dream in itself has been destroyed. The idea that you could just have a machine enumerate all valid theorems in a theory is part of it, but it's only a question of form. The point was that it was to prove "all theorems of Mathematic", not "theorems into a given axiomatic system that is useful in some contexts, e.g. ZFC".

You could even argue that it's the fundamental basis for post-modernism, since mathematics have destroyed the notion of absolute truth in any advanced domain. It's back to a form of "all models are wrong but some are useful" similar to what we have in physics. Sayonara, Plato.

What is that dream? I don’t know much about it