“Karina Hong predicts that AI will transform mathematics by allowing mathematicians to work at a higher level of abstraction, using AI as a "diligent grad student" to formally prove their intuitions.”