I’ve thought the same. We could automate the Socratic Method. Have computers search for all of the little voids in science right between a bunch of other well proven theories.