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

Van Rooij, Guest, Adolfi, Kolokolova, and Rich claimed to have proven that AGI via ML is impossible in Computational Brain & Behavior in 2024. The basic idea was to try to reduce a known NP-hard problem to the problem of learning a human-level classifier from data. The purported result, called "Ingenia Theorem" by the authors, made some noise on the internet, including here. My paper showing that the proof is irreparably broken is now also out in CBB (ungated preprint here ). The basic issue is that "human-level classifier" is not mathematically defined, which the authors solve by.