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