Why Erdős Problems Are Falling to AI