> 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 th

> 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. [1] https://en.wikipedia.org/wiki/Coq https://en.wikipedia.org/wiki/Coq [2] https://resources.mpi-inf.mpg.de/departments/rg1/conferences/vtsa19/slides/Crzary-slides1.pdf https://resources.mpi-inf.mpg.de/departments/rg1/conferences... [3] https://arxiv.org/abs/2104.05207 https://arxiv.org/abs/2104.05207 [4] https://www.quantamagazine.org/how-close-are-computers-to-automating-mathematical-reasoning-20200827/ https://www.quantamagazine.org/how-close-are-computers-to-au...