前Intel工程师给AI狂热泼冷水：解出数学难题，不等于能替代白领

动察 Beating AI 快讯，做过 LLM 训练和 CPU 形式化验证的工程师 Jay Kruer 发文称，OpenAI 用上万个 Agent 攻下 Navier-Stokes 难题，并不代表 AI 已经能独立替代知识工作者。 他的核心理由很简单：数学题有明确答案，还能用 Lean 自动检查。现实里的编程、研究和企业工作，目标往往很模糊，也没有一个程序能直接判断结果对不对。 没有可靠的自动检查，人就得一直盯着 AI。要把任务规则写到足够严格，又需要昂贵的领域专家。Kruer 认为，这部分监督和验收成本，甚至可能比人自己把活干了还高。 他因此把现在的 LLM 称为「开挂实习生」：能力很强、干活很快，但还不能放心让它自己管事。