[enchiridion]

Is AI-complete an actual complexity class? Genuinely curious, I’ve never heard of it.

[FartyMcFarter]

I think it's just an informal term for things that seem to require human-level AI.

[enchiridion]

Ah, don’t care for it in that case. Seems like it’s cashing in on the formality associated with algorithms research.

[astrange]

I think you’re insulting all of philosophy there.

But there is a paper about it: https://www.aaai.org/Papers/Symposia/Spring/2007/SS-07-05/SS...