If we develop a system that can:

- compress (in a relatively recoverable way) the entire domain of human knowledge

- interpolate across the entire domain of human knowledge

- draw connections or conclusions that haven't previously been stated explicitly

- verify or disprove those conclusions or connections

- update its internal model based on that (further expanding the domain it can interpolate within)

Then I think we're cooking with gasoline. I guess the question becomes whether those new conclusions or connections result in a convergent or divergent increase in the number of new conclusions and connections the model can draw (e.g. do we understand better the domains we already know or does updating the model with these new conclusions/connections allow us to expand the scope of knowledge we understand to new domains).