The
entire point of a programming language design is to give you an abstracted environment with a complete coherent semantics so that you don't need to understand what's going on under the hood.
You can be effective at using C# and F# to solve other problems specifically because they are very well designed at the goal of abstracting over the lower level hardware. But if your goal is to build an intuition of how programming languages themselves are implemented and how computer hardware works, then, using those languages will be counter productive.
If you're trying to use math to solve arithmetical problems, then by all means using AI to help. But if you're trying to advance the math field itself, then actually knowing how math works is probably essential.
Put in more concrete terms: if someone wants to be a working mathematician without learning the fundamentals of math, then how do they even know what prompts to the AI are worth writing? In what way are they adding any value to the process at all?