A curious phenomenon over at the #Erdos problems web page and repository. We've had a hectic two months or so in which we received a flood of new solutions to these problems, coming from a mix of human efforts, purely AI-generated proofs, and hybrid approaches. Some of these turned out to be incorrect, and others ended up being similar to existing solutions, but nevertheless many checked out, leading to nearly 50 more problems being marked as solved on the site during this period.

But in the last week, submissions have dropped to nearly zero. It is not clear exactly what the reason is, but I can think of at least three explanations: (a) the burst of media attention around the Erdos problems has dissipated. (b) all the easy "low-hanging fruit" of obscure Erdos problems amenable to current AI tools have already been harvested. (c) The time-sensitive "First Proof" challenge that came out last week is now absorbing all the attention of AI-prover enthusiasts.

Perhaps it is a combination of all three factors.