[yesenadam]

"This essay considers ways that recent uses of computers in mathematics challenge contemporary views on the nature of mathematical understanding. It also puts these challenges in a historical perspective and offers speculation as to a possible resolution."

[ngcc_hk]

I am more worry about those "relax" phrases. Not trusting computer to prove maths, may be I am old style. IT is my career. Maths is my love.