I wouldn't put a lot of money on that in the future given that even 3 years ago AI could prove about 58% of a set of theorems: https://mathscholar.org/2019/04/google-ai-system-proves-over...
From that to inferring then proving new theorems in the future or even inferring new theories in other fields (that can then be tested empirically if needed) I think we're not very far from what the person you replied to suggested
Call me again when AI develops a new theorem from scratch, in a concise manner
Humans may need theory to perform science, but only because we're slow and have bad memories is it necessary for us to rely on faint signals like intuition, eureka moments, and pulling all-nighters in the lab. Machines don't need narratives and metaphors to represent their knowledge of the world, nor do they need reason or explanations of how and why. They just need to function.