The endgame for mechanistic interpretability is formal methods
neelsomaniblog.com