Minor note: while this is true for many areas, some areas like physics simulations don’t have this sort of sanity check because there are no known witnesses to a correct calculation.
Minor note: while this is true for many areas, some areas like physics simulations don’t have this sort of sanity check because there are no known witnesses to a correct calculation.