Quick note on OpenAI and Erdős’s unit distance problem

Top-line reaction: It’s so incredibly important to see all of the actual details here to make an honest assessment of the result’s import. E.g., How many problems were they working on? In what areas? What prompts/inputs were used, and how many? What models with what settings? What was left out of the “abridged” (70k word, likely…