I plan to work from books (Tao's Analysis, Spivak etc.) and ask an AI to correct my solutions to exercises (not do the teaching). I have access to Gemini Pro and a Macbook M5 so maybe a Qwen version should run locally.
Do you think AI is good enough for such a task? Or should I expect some mistakes in reasoning and/or hallucinations? I am not super good at proofs and I'd like to improve. I would appreciate any feedback from anyone who had similar experience.