Has Sanjeev Arora pivoted to AI? Was he always interested in this? I thought he was more of a theoretician.<p>Maybe he’ll crack why DNNs work, whatever that means. To answer that question you have to formalize what it means for them to “work”. Good luck defining that in a reasonable way.<p>The majestic genius of Gödel was finding a way of exhibiting an unprovable truth.*<p>* yes, assuming consistency