Proof Refutation

Human-level performance via ML was *not* proven impossible with complexity theory [D]

A new paper refutes the "Ingenia Theorem," which claimed to prove the impossibility of AGI via ML using complexity theory. The refutation argues the original proof is flawed due to an undefined "human-level classifier" and a swap in formal definitions.