Noosphere89 comments on The Computational Complexity of Circuit Discovery for Inner Interpretability

[Noosphere89]

Is that because you already believed that enumerative interpretation agendas were unlikely to succeed?