“An AI model from OpenAI disproved the 80-year-old 'planar unit distance problem,' a mathematical conjecture by Paul Erdős.”