Terence Tao: AI contributions to Erdős problems | Not Hacker News!