> It doesn't matter if the machine is uncovering the secrets of the Universe if no one can ever appreciate them, eh?

It's possible with access to something that almost serves as an oracle like this, we can use it prove deeper things that we do understand, with only the details of this one portion left un-understood. You could just assume a proposition is true or false, and do the same by working with the assumption, but that can quickly combinatorically explode with multiple propositions.