AI 做数学前提是会验错
miniapeur · x · 2026-07-11
作者认为，AI 尤其在数学场景里只有在使用者具备足够背景、能够抓出错误时才真正有用；如果只是扫一眼输出、觉得“看起来像那么回事”，就很危险。
他强调：如果你让 AI 帮你写证明，自己也必须能逐行检查并理解每一步为什么成立。引用里还提到，GPT-5.6 Sol 正在对他做的 proof assistant 项目提出清晰且有效的批评，说明它在某些复杂推理任务上确实能提供帮助，但前提仍是人类能判断对错。
「漫话AGI」频道最新
- 新研究：AI 智能体谈判能力差，还会故意违约 — menhguin · 2026-10-26
- NBER 研究：仅 2.9% 美国人为 AI 付费，留存率低至 20% — avicgoldfarb · 2026-10-26
- AI 研究员曾预测机器人 2034 年才能跑赢人类，今年已被连续打脸 — ben_j_todd · 2026-10-26
- 别再拿「生物学」当医药研发的代名词：一位 AI 从业者的吐槽 — KevinKaichuang · 2026-10-26
- ESR 谈「Bug 崩坏潮」：封堵前沿模型只会让中国开源模型占便宜 — colinmcnamara · 2026-10-26
- Anthropic 官方报告：初级技术岗位招聘占比从 27% 降至 9% — thione · 2026-10-26