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... Read more