Terence Tao - Engineering Complexity in Mathematics (via searchlore.ai)