M mathstodon.xyz Terence Tao: At the Erdos problem website, AI assistance now becoming routine 311 points dwohnitmok 11 months ago 90 comments