I believe that our best shot at beneficial AGI involves replacing black-box neural networks by intelligible intelligence. The only way I’ll trust a superintelligence to be beneficial is if I can prove it, since no matter how smart it is, it can’t do the impossible. My MIT research group therefore focuses on using tools from physics and information theory to transform black-box neural networks into more understandable systems. Recent applications have included auto-discovery of symbolic formulas and invariants as well as hidden symmetries and modularities.