Open AI solves a 1946 Erdős problem(twitter.com)2 points by bcapchickadee 2 hours ago | 0 commentsNo comments yet