Welcome to MO! I believe the answer to your question depends on what Mathematica command(s) you used to find the maximum. 

If you used the command Maximize[], then its output is exact and, in my view, can in general be trusted no less than the work of about any human. Others may disagree with this, and so, then you may have to try to obtain the maximum in a way that can be verified by hand. Also, of course, Maximize[] can only solve comparatively easy maximization problems. 

On the other hand, if you just used the command NMaximize[] -- which tries to find the maximum numerically, then its output can only be considered a suggestion -- certainly not a proof.