Verifiable machine discovery

AI formulates a novel hypothesis, chooses the decisive experiment and produces a result independently confirmed by other laboratories.