ChatGPT or any other LLM Ive tried so far still dont quite understand mathematical concepts. It would be a great achievement to build a model that can digest dry math proofs and explain them in a plain, intuitive, and conversational manner.