مدل هوش مصنوعی کلاد با پشتیبانی و پیامهای روحیهبخش یک برنامهنویس، پیشرفت چشمگیری در حل فرضیهی ۱۶۷ سالهی ریاضی ثبت کرد.