Abstract
AI has already had multiple impacts on mathematics, from working collaboratively with human mathematicians by suggesting conjectures or performing smarter searches, to producing entire proofs unaided. I'll discuss the current limits of AI and speculate on what we might see in the not-so-distant future.