专家指出AI生成结果的验证面临严峻挑战

密码学专家Matthew Green指出，随着AI能力提升，真正的瓶颈已从生成结果转变为验证结果是否正确。他解释说，现有模型擅长生成外表像样的内容，在数学领域虽可通过机器检验反例，但在密码分析等领域，AI极易制造难以察觉的伪证，这使得验证AI产出的准确性与真实性变得异常困难。

2026-07-29 ~ 2026-07-29 · 2 条相关

• Matt Green：模型生成数学结果后，真正难的是验证对不对 — matthew_d_green · 2026-07-29
• 专家剖析 AI 验证难题：数学可证伪但密码分析易造伪证 — matthew_d_green · 2026-07-29