Although neutrinos are produced abundantly in collisions at the Large Hadron Collider (LHC), until now no neutrinos produced in such a way had been detected. Within just nine months of the start of LHC Run 3 and the beginning of its measurement campaign, the …