I have found a link to an interesting paper in a one social network. Robert Baille shows a few tricks with «almost» true functions: they can be true in the huge interval of their arguments, but fail for the other their values. And numerical methods will fail for direct check.
Link to the paper: http://arxiv.org/abs/1105.3943.