本课介绍

以一道可程序验证的排序题为例，比较顺序尝试、检查与回退，以及生成多个候选再验证的两条路径。课程区分推理能力、运行时计算预算和验证方法，观察额外计算做了哪些工作，也说明等待更久、候选更多或思考文字更长，为什么都不能单独证明结果更可靠。

GEOBOK《生成式AI是怎么工作的》 · 第19课 · 主讲：无风即风