Super HN

   AI just proved Erdos Problem #124 (twitter.com) 3 points by nl 1 hour ago