Stephen Wolfram: AI Cannot Replace Mathematicians

TL;DR AI-generated Stephen Wolfram argues AI cannot replace mathematicians because mathematics involves more than just developing and proving theorems; it's primarily about asking the right questions. AI systems might also formalize requests in a provable way that deviates from the original intent.