“An internal OpenAI model was used to disprove the Erdős unit distance conjecture.”