We gratefully acknowledge funding from the Heilbronn Institute for Mathematical Research and the UKRI/EPSRC Additional Funding Programme for Mathematical Sciences, Imperial College London, the Erlangen AI Hub, LSGNT, G-research, IdeaLondon, and Prob AI.