We gratefully acknowledge funding from the Heilbronn Institute for Mathematical Research the UKRI/EPSRC Additional Funding Programme for Mathematical Sciences, Imperial College London, Prob AI, London Mathematical Society, Circle Group, Vinci4d, IJCAI, PhysicsX, Hash, and DLR Group.