AI just proved Erdos Problem #124 | Dark Hacker News