
औपचारिक प्रमाण: "सीखने" के ज़रिए मानव-स्तर का AI हासिल करना मूलतः NP-hard है
छह संज्ञानात्मक वैज्ञानिकों ने "Ingenia प्रमेय" नाम का औपचारिक प्रमाण प्रकाशित किया है: आदर्श डेटा की स्थिति में भी सीखने के ज़रिए मानव-स्तर का AI बनाना मूलतः NP-hard समस्या है, जो "स्केल बढ़ाने से अनिवार्य रूप से AGI मिलेगा" की धारणा को प्रमेय का आधार न होने की ओर इशारा करता है।
