“Fields Medalist Tim Gowers stated that OpenAI's solution to the Erdős problem is the first clear example of AI solving a well-known, unsolved mathematics problem.”