2. AI models can be misleading. I tried to use chatGPT for my exams and problem sets, open AI could do 10% of the work. This does not mean that AI does not work but means math proofing is a logical art that mixes stone rules with artistic steps.