Ask HN：AI 是否足以胜任数学习题批改？

一名用户在 Hacker News 发帖询问，AI 是否足以胜任本科数学分析习题的批改工作。该用户计划研读陶哲轩与 Spivak 等教材，并尝试使用 Gemini Pro 或在配备 M5 芯片的 MacBook 上本地运行 Qwen 检查习题解答。他主要担忧大模型在证明题推理中可能出现错误或模型幻觉，因而征求社区的使用经验与反馈。