AI Contributions to Erdős Problems | Dark Hacker News