Comment by auggierose

Yes, I remember somebody doing a PhD in the US on theorem proving for a few years, but his last year he focused on doing deep learning work, did his PhD thesis on it, and got hired by OpenAI.