“The two major challenges for using mechanistic interpretability to provide safety guarantees are superposition and scalability.”