Open AI solves a 1946 Erdős problem | Dark Hacker News