Well, how does your proposed computer proof look like? A computer can easily calculate both sides of the equation up to say, float precision. But that's not a proof; it only tells you that both numbers are near each other!