If you want to solve big problems, start by asking the right questions.
The most exciting phrase to hear in science, the one that heralds new discoveries, is not 'Eureka!' but 'That's funny...'
We are on the verge: Today our program proved Fermat's next-to-last theorem.