Terence Tao talks about the beauty of the hard math formulas of the century and how AI will help us solve them. https://www.youtube.com/watch?v=HUkBz-cdB-k