I remember ~4 years ago attending a Michael Sipser lecture at MIT. At some point he made a sarcastic comment that the “ai guys” claimed they’ll someday replace mathematicians.
“Good luck with that,” he said, and the audience chuckled.
I don’t think anyone is laughing now.