Earlier this year a machine learning algorithm identified up to 5,000 potential gravitational lenses that could transform our ability to chart the evolution of galaxies since the Big Bang.