Undecidability in Spacetime Geometry via the AdS/CFT Correspondence - Sameer Ahmad Mir; Francesco Marino; Arshid Shabir; Lawrence M. Krauss; Mir Faizal (2026)