Our new method could help mathematicians leverage AI techniques to tackle long-standing challenges in mathematics, physics and engineering.