Formalized Science
Solomonoff Induction is the Scientific Method formalized into an algorithm.
This finds the truth as best is possible, avoiding bias or requirement for creative discovery
Still not efficient