AI may have just solved a million-dollar math problem | Hacker News Reader