IN RECENT WEEKS, THERE HAVE BEEN A NUMBER OF EXAMPLES OF ERDOS PROBLEMS THAT WERE SOLVED MORE OR LESS AUTONOMOUSLY BY AN AI TOOL

Summary from the TLDR AI newsletter

AI tools are now capable enough to pick off the lowest hanging fruit among the problems listed as open in the Erdos problem database, but that category contains problems most likely to have been solved in the literature.