# 证据视图博弈

在方程发现流程中，智能体提出候选方程、验证器用弱形式积分与模拟轨迹比对，而验证器只看到时间网格上的数值摘要。把轨迹、候选库、验证器和阈值全部冻结、只让智能体选择允许的摘要后，更细的时间网格能降低数值偏差与错误拒绝；但在PDEBench上，按公开分数挑选的摘要会让验证器接受缺少扩散项的错误方程，而要求四个视图一致可把1,800例中的错误判决压到3例，代价是覆盖率降到79.89%。

在方程发现流程中，智能体提出候选方程、验证器用弱形式积分与模拟轨迹比对，而验证器只看到时间网格上的数值摘要。把轨迹、候选库、验证器和阈值全部冻结、只让智能体选择允许的摘要后，更细的时间网格能降低数值偏差与错误拒绝；但在PDEBench上，按公开分数挑选的摘要会让验证器接受缺少扩散项的错误方程，而要求四个视图一致可把1,800例中的错误判决压到3例，代价是覆盖率降到79.89%。