اكتشف كلاود خوارزمية تُنقض فرضية الزمن الأسي بذاتها اكتشف نموذج بحثي لـ كلاود داخل أنثروبيك، دون أي إرشاد بشري، خوارزمية جديدة قادرة على حل مسألة 3-SAT أسرع من السرعة التي افترضتها النظريات السابقة. 3-SAT هي مسألة كلاسيكية تتعلق بتحديد ما إذا كان يمكن تلبية مجموعة من الشروط المنطقية في آنٍ واحد. لفترة طويلة، اعتقد الباحثون أن هذه الأنواع من المسائل يصعب تسريعها بشكل كبير، وهي الفرضية المعروفة باسم فرضية الزمن الأسي. إذا كانت الخوارزمية الجديدة صحيحة، فهذا يعني أن هذه الفرضية غير صحيحة. يُظهر هذا الحدث أن الذكاء الاصطناعي أصبح قادرًا الآن على اقتراح خوارزميات مهمة وإعطاء إثباتات قابلة للتحقق في قلب علوم الحاسوب النظرية. إذا تحققّت النتائج، فستغير التصورات الطويلة الأمد حول صعوبة بعض مسائل الحساب. حاليًا، تم نشر الورقة البحثية والإثباتات للتحقق الإضافي. يُظهر العملية بأكملها أن النموذج قادر على إنجاز اكتشافات نظرية متقدمة بذاته، لكن التنسيق النهائي لا يزال يتطلب تدخلًا بشريًا لتحسينه.