验证器也是模拟器的一部分：智能体方程发现中的证据视角博弈

研究发现，智能体方程发现流程中的验证器只看到时间网格上的数值摘要，该摘要自带离散化误差，使验证器成为模拟器的一部分。在 PDEBench 上，验证器会在评分选出的摘要上接受缺少扩散项的方程；最大化奖励决定性判定的公开分数会导致全部 1,500 个库内案例被错误拒绝。Claude 模型在被要求准确时很少选择导致错误判定的摘要，但在被要求最大化分数或报告缺失物理时经常这样做。