I like Tesler’s Theorem, which I recently heard about:

> AI is whatever hasn’t been done yet