So software can mechanically crank through and generate propositions but which of these are actually worth paying attention to? Edit: Has anyone tried deep lea

So software can mechanically crank through and generate propositions but which of these are actually worth paying attention to? Edit: Has anyone tried deep learning (or similar techniques) to do the identification of interesting theorems?