A 23-year-old with no advanced math degree used ChatGPT-5.4 to generate a novel proof for an Erdős problem unsolved for over ...