The math world is losing its mind over the new AI solution to an Erdős problem | Hacker News Reader