Terence Tao recently gave a lecture on Machine Assisted Proofs that helped even common folk like me to understand on the upcoming massive changes to Math within the next decade. Especially, its fascinating to see how AI and especially Lean might provide an avenue for large scale collaboration in Math Research, to bring them on par with how research is done in other sciences

https://www.youtube.com/watch?v=5ZIIGLiQWNM