Update: Since this article was published, it has emerged that there was a prior solution to the particular Erdos problem solved here by Davenport and Erdős (1936) and Rogers (in Halberstam-Roth (1966) ...
Mathematician Terence Tao reports that OpenAI's GPT-5.2 Pro has solved an Erdős problem "more or less autonomously," marking a notable achievement for AI in mathematical research. But Tao cautions ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results