Comment by emilga

It's also amusing to see a mathematician be more convinced by the computer simulation than the proof.