Terence Tao - The Benefits of Formalization (via searchlore.ai)