> I asked GPT3 to teach me about addition and subtraction and it produced pure garbage in very lecturing tone.
Sorry for laughing, but that's a rather funny thought to be given incorrect maths lesson via AI à la college professor.
The field of AI-applied to mathematics is already somewhat developed actually!
At the moment it's primarily done through proof assistants such as Coq[1], but there is work done to go further and apply ML to the field [2][3]. If you have any interest in the field, I would highly recommend you to take a dive and even play around with proving some simple theorems using Coq. This article[4] from Quanta is a good start to read a summary on the background and work up to now.