क्लॉड ने स्वयं एक ऐसा एल्गोरिथम खोज लिया है जो घातीय समय परिकल्पना को खारिज कर सकता है एंथ्रोपिक के आंतरिक क्लॉड रिसर्च मॉडल ने मानवीय निर्देश के बिना, 3-SAT समस्या को पहले से अधिक तेज़ी से हल करने के लिए एक नया एल्गोरिथम स्वतंत्र रूप से खोज लिया है। 3-SAT एक पारंपरिक कठिन समस्या है जो यह निर्धारित करती है कि क्या तार्किक शर्तों का समूह एक साथ संतुष्ट हो सकता है। लंबे समय तक, शोधकर्ताओं का मानना था कि इस प्रकार की समस्याओं को महत्वपूर्ण रूप से तेज़ किया जा सकता है, जिसे घातीय समय परिकल्पना कहा जाता है। अगर यह नया एल्गोरिथम सत्य है, तो इसका मतलब है कि यह परिकल्पना गलत है। यह बात दर्शाती है कि कृत्रिम बुद्धिमत्ता अब सैद्धांतिक कंप्यूटर विज्ञान की मूलभूत समस्याओं पर स्वतंत्र रूप से महत्वपूर्ण एल्गोरिथम प्रस्तुत कर सकती है और सत्यापनीय सबूत प्रदान कर सकती है। अगर परिणाम सत्यापन के परीक्षण से गुजरते हैं, तो यह कुछ गणना समस्याओं की कठिनाई के प्रति लंबे समय से मानी जाने वाली धारणाओं को बदल सकता है। वर्तमान में, पेपर और सबूत सार्वजनिक रूप से उपलब्ध हैं, जिनकी पुष्टि के लिए अधिक परीक्षण किया जा सकता है। पूरी प्रक्रिया में दिखाई देता है कि मॉडल स्वतंत्र रूप से उच्च-स्तरीय सैद्धांतिक खोज कर सकता है, लेकिन अंतिम संपादन के लिए मानवीय हस्तक्षेप की आवश्यकता होती है।