LLMs have solved Erdős problems before, but the one Price chose wasn’t just any Erdős problem. It was one that human mathematicians had worked on for 60 [Ed:80] years without success. The nature of the solution was also unusual. While previous LLM solutions to Erdős problems used standard techniques, this one took an entirely different approach. Rather than starting from Erdős’ original probability-theory-based framing of the problem, as human mathematicians had, the LLM found an alternative route – one that led naturally, in less than a page, to a correct proof.