AI-complete
AGIやHLAIが無いと解けない問題の総称
特に厳密な定義は無いが、turing完全やNP完全と同じような等価的変形を用いることが多い