Tech
LLM中如果一个问题容易验证 那么AI就容易学会解决!说说这个特性与P与NP问题的关联性
大模型来了,有个说法是如果一个问题容易验证 那么ai就容易学会解决!说说这个特性与p np问题的关联性
这个说法听起来很直观,但其实 混淆了"验证的复杂性"和"学习/求解的复杂性"这两件不同的事 。我们把它拆开看。
先把"容易验证"在 P/NP 里的精确定位理清
在计算复杂度理论中:
NP = 给定候选解(证书),能在多项式时间内验证其正确性的问题
P = 能在多项式时间内直接求解的问题
P ≠ NP ? = 是否所有容易验证的问题,也都容易求解?
所以"容易验证"在 CS 里的严格含义是: 验证者在多项式时间内工作 , 不是说 AI 训练成本低 。
"容易验证 ⇒ AI 容易学会"——部分成立,但有重要的限定
这个直觉 在某些场景下确实成立 ,原因是"验证"提供了 稠密的训练信号 :
✅ 成立的情形:验证器可作奖励/过滤
当一个问题具备"易于验证"的结构时,我们可以用它来:
生成训练数据 :比如 SAT 问题,随机生成一个赋...
Read the full discussion on Dev.to
This article was aggregated from Dev.to. Click to join the conversation.
View on Dev.to