AI 是否足以用于数学练习？

一位用户询问 AI 是否能胜任纠正大学水平数学练习答案的任务，计划使用 Gemini Pro 或本地运行的 Qwen 模型。他希望 AI 能帮助提升证明能力，但担心推理错误或幻觉问题。用户寻求有类似经验者的反馈，以判断 AI 在该场景下的可靠性。