AI uncovers solutions to Erdős problems, moving closer to transforming math | Hacker News Reader