Is AI solving open Erdős problems? | Dark Hacker News