In May, an AI solved Paul Erdős's unit distance conjecture, a long-standing problem that combines discrete geometry and number theory. Mathematicians found the solution elegant and imaginative, and noted that it drew on two fields that had rarely interacted. The discussion has since centered on what the machine's achievement means for human mathematical creativity.