A machine-learning algorithm has helped astronomers discover thousands of gravitational lenses predicted by Einstein.