I solved 6 open Erdős problems in 5 days, using OpenAI GPT-5.6 Sol | Dark Hacker News