Stories are the way we make sense of the chaos of existence.
"Man, unlike any other thing organic or inorganic in the universe, grows beyond his work, walks up the stairs of his concepts, emerges ahead of his accomplishments."
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 probably not important to mathematics.
The most advanced greenhouse is worthless without farmers who understand the rhythm of the plants.