The fact that you need a good command of a natural language to learn maths is by any means *not* a reason to believe that ChatGPT will be proving mathematical theorems. This is rubbish, there are programme or proof checkers