First, AI solved the easy problems that nobody paid much attention to. Now, we’re onto the nontrivial ones. And even that is starting to feel routine … In 18 months there may be no more open Erdos problems left. We should appreciate and enjoy them while we still can