Rigor with Machine Learning from Field Theory to the Poincar\'e Conjecture