Terence Tao: At the Erdos problem website, AI assistance now becoming routine