Terence Tao: At the Erdos problem website, AI assistance now becoming routine | Not Hacker News!