Non-Erdős problems are also falling.

The AIs seem to have some combination of very broad familiarity with math (enabling relevant things from other subfields to be brought in to the proof) as well as patience and "sitzfleisch" (stamina in working through details even if they aren't immediately obviously promising.)

An obvious area for improvement would be automated generation of new conjectures and attempts to prove (or disprove) them, with the discovered arguments then being used as training for refined models. This will require autoformalization to check the results as there will be too many for manual verification.