Open AI solves a 1946 Erdős problem #1 Post by bcapchickadee » Wed, May 20, 2026, 10:32 PM UTC Open AI solves a 1946 Erdős problemtwitter.com