Terence Tao: Solving problems by abstracting away highly relevant information