HN 讨论：AI 是否足以批改本科数学练习题？

一位用户计划用 Tao's Analysis、Spivak 等教材自学本科数学，希望让 AI 只批改习题解答而非讲课，并询问 AI 在证明题上是否可靠、会不会出现推理错误或幻觉。该用户可使用 Gemini Pro，也考虑在 MacBook M5 上本地运行 Qwen 版本。