Life is short, and it’s up to you to make it sweet.
The great challenge of the modern world is to create institutions that are strong enough to govern effectively but also accountable and responsive to the needs of citizens.
Technology is a tool, talent is the core.
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.