Thanks for pointing me to this video - it's been interesting to follow the discussion! (I personally don't see that math has lost its purpose at all in the past months. I mean, where would we be, if we were thrown at these AI based mathematical proofs and had no mathematicians and specialists?! Much of this discussion is about a disciplin readjusting its way of work and tasks.)