The most powerful art is often the most ambiguous.
The only thing that is constant is change.
"In the silence of the night, words find their way to the soul."
There are things that happen and leave no discernible trace, are not spoken or written of, though it would be very wrong to say that subsequent events go on indifferently, all the same, as though such things had never been.
The use of a program to prove the 4-color theorem will not change mathematics - it merely demonstrates that the theorem, a challenge for a century, is a finite problem.