Terence Tao - The Role of Programming in Mathematics (via searchlore.ai)