T twitter.com I solved 6 open Erdős problems in 5 days, using OpenAI GPT-5.6 Sol 5 points akalin 3 months ago 1 comments