I think the purpose of this is to predict proofs ahead of time. Which could be useful in the management of people. As they say in the intro, given a group of specialists, this algorithm can guess, on a daily basis, which of the things they are working on are more likely to be true, and which are more likely to be false. Before the proof is finished.