“The UK AI Security Institute is seeking to fund theoretical research in information theory, complexity theory, and game theory to produce stronger AI safety guarantees.”