This is very cool. It might be a new scientific revolution to have computer-driven discovery. So often we find things that are "this could have been done 20 years ago" and with an indefatigable searcher perhaps we'll close all those things. Though it does remind me of that Ted Chiang (I think) story where humans and superhumans coexist and all the science of the former is meta-studies of the work of the latter.