My favourite mathematics proof.

Is this:

A nice use of computing to refute an old conjecture from no less than Euler.

Found thanks to a tweet from Aatish Bhatia