There's never been a better time to go into math

This talk explores the evolving landscape of mathematical research and education in light of advanced AI capabilities, examining how 'proof machines,' 'conjecture machines,' and 'theory machines' might reshape human roles in mathematical discovery and problem-solving.