Noga Alon is a super accomplished mathematician who collaborated with Erdos, this is a really great talk by him (in English) about AI in math and the recently solved Erdos Problems.
(also he taught the intro to algorithms course I took in ugrad!)
https://www.youtube.com/watch?v=KbNctTQnVHI

