On the other hand there are strong results demonstrating that indistinguishability obfuscationis possible (though currently known implementations of it are prohibitively expensive), and surprisingly often is in fact all you need for practical obfuscation applications. I’m pretty sure that would be enough to defeat Interpretability (though you should consult a cryptographer). Interestingly, indistinguishability obfuscation seems to be a sort of Turing-complete cryptographic primitive: every other cryptographic primitive seems to be constructible using just it.
On the other hand there are strong results demonstrating that indistinguishability obfuscation is possible (though currently known implementations of it are prohibitively expensive), and surprisingly often is in fact all you need for practical obfuscation applications. I’m pretty sure that would be enough to defeat Interpretability (though you should consult a cryptographer). Interestingly, indistinguishability obfuscation seems to be a sort of Turing-complete cryptographic primitive: every other cryptographic primitive seems to be constructible using just it.