Super HN

   Terence Tao: At the Erdos problem website, AI assistance now becoming routine (mathstodon.xyz) 9 points by dwohnitmok 5 hours ago