I thought it was just a couple of random old problems that had been solved, I didn't realize it was so many, but still I wonder if AI is really getting "better" at math than humans or if there's just a particular set or domain of problems that are better suited to LLMs because of how they're designed.