Terence Tao - The Balance of Formalization and Creativity (via searchlore.ai)