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
He is also trying to start a new company around this like Aristotle, who already tackle this problem, but with a new angle.
He is also trying to start a new company around this like Aristotle, who already tackle this problem, but with a new angle.