Extensive computer calculations can be extremely persuasive, but do they render proof unnecessary?

• 大量的电脑计算可能相当有说服力，但这会让证明变得没有必要吗？