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

(mathstodon.xyz) by dwohnitmok | Nov 22, 2025 | 90 comments on HN