Son yıllarda gündemden çıkmayan yapay zekalar, günlük hayatımızın birer parçası haline geldiler. Birçok kişi yapay zekaların gelişip insanlığı dünya üzerinden sileceği yönünde düşüncelere sahip. Bu doğrultuda yapay zekalar üzerinde çalışan matematikçilerden ve yapay zeka uzmanlarından oluşan araştırma ekibi, yapay zekaların çözemediği bir soru ürettiler.
Çalışmalarını Avusturyalı matematikçi Kurt Gödel'in 1930'lu yıllarda ortaya koyduğu ve aslında bazı matematiksel soruların bir çözümü olmadığını kanıtlayan "Eksiklik Teoremleri"ne dayandıran araştırmacılar, yapay zekaların öğreniminin de (makine öğrenimi) aynı çözülmezlikle sınırlandırabileceğini, ürettikleri ve yapay zekaların çözemediği bir matematik problemi ile ortaya koydular.
Yapay zekaya verilen problemin "doğru" veya "yanlış" şeklinde bir cevabının bulunmaması, yapay zekaların bu problemi herhangi bir algoritma aracılığıyla çözememesine yol açıyor. Bilgisayar bilimci Shai Ben-David önderliğinde yönetilen araştırma sayesinde ulaşılan sonucun ileriki dönemlerde insanlar ile yapay zekaları ayırmada kullanılabileceği öngörülüyor.
