AI 做数学前提是会验错
miniapeur · x · 2026-07-11
作者认为，AI 尤其在数学场景里只有在使用者**具备足够背景**、能够抓出错误时才真正有用；如果只是扫一眼输出、觉得“看起来像那么回事”，就很危险。 他强调：如果你让 AI 帮你写证明，自己也必须能逐行检查并理解每一步为什么成立。引用里还提到，GPT-5.6 Sol 正在对他做的 proof assistant 项目提出清晰且有效的批评，说明它在某些复杂推理任务上确实能提供帮助，但前提仍是人类能判断对错。
miniapeur · x · 2026-07-11
作者认为，AI 尤其在数学场景里只有在使用者**具备足够背景**、能够抓出错误时才真正有用；如果只是扫一眼输出、觉得“看起来像那么回事”，就很危险。 他强调：如果你让 AI 帮你写证明，自己也必须能逐行检查并理解每一步为什么成立。引用里还提到，GPT-5.6 Sol 正在对他做的 proof assistant 项目提出清晰且有效的批评，说明它在某些复杂推理任务上确实能提供帮助，但前提仍是人类能判断对错。