"软件 1.0 容易自动化你可以指定的内容。 软件 2.0 容易自动化你可以验证的内容。" 如果无法验证，它就必须依赖于神经网络的魔法进行泛化，祝好运，或者通过模仿等较弱的手段。这就是推动 LLMs 进步的 "锯齿状" 前沿。