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

Open in new window