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