“The current bottleneck in science is no longer hypothesis generation, but rather the verification and evaluation of the thousands of theories that can now be generated.”