Barriers to Complexity-Theoretic Proofs That "AGI" Using ML Is Impossible