Rigor with machine learning from field theory to the Poincaré conjecture - Nature Reviews Physics