Terence Tao's list of AI contributions to Erdős problems | Dark Hacker News