Terence Tao on Hard Math and AI

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