Comment by rzr999

I think it would be interesting to see the perspective of Prof. Bruno Buchberger (Johannes Kepler University in Austria) since he brings a unique perspective into this in his talk "Will AI Kill Mathematics?" about Automated Math Generation. https://www.youtube.com/watch?v=WLYW6BPkkIk