Cyc için bir nekroloji

Cyc projesinin başarısızlığı

• Özet: Cyc projesi, 40 yıl boyunca yapay zekanın genel zekasını kurmaya yönelik bir girişimdi; sembolik mantığı ölçeklendirme yaklaşımıyla ilerledi ancak başarısızlıkla sonuçlandı. Bu deneme, Cyc'nin gizemli tarihini aydınlatarak daha geniş kitlelerce bilinmesini amaçlıyor.

Otomatik matematikçi ve EURISKO

• Otomatik Matematikçi (AM): Douglas Lenat'ın ilk efsanevi projesiydi; matematiksel kavramları otomatik olarak keşfeden bir sistemdi. Ancak AM, ilk keşiflerden sonra hızla zihinsel yorgunluğa girdi.
• EURISKO: AM'in sınırlarını aşmak için geliştirilen bir sistemdi ve yeni keşifler için gerekli sezgisel kuralları kendisinin keşfedebilmesi amacıyla tasarlandı. Ancak EURISKO da sonunda zihinsel yorgunluğa girdi.

Cyc'nin tarihi

• Cyc'nin başlangıcı: 1985'te Lenat, sağduyu bilgisini elle kodlayarak Cyc'yi başlattı. Yaklaşık 30 milyon önerme ve 200 milyon dolarlık maliyet gerektirdi.
• Ticari kullanım: Cyc, 2016'dan sonra ticari uygulamalara yöneldi, ancak işlevsel olarak Oracle ve IBM gibi yerleşik şirketlerin hizmetleriyle aynı düzeyde kaldı.
• Gizlilik: Cyc gizemli ve kapalı bir karakter taşıyordu; dış araştırmacıların kullanması zordu ve herkese açık benchmark'larda sonuç üretemedi.

Cyc'nin başarısızlık nedenleri

• Sembolik mantığın sınırları: Lenat, sembolik mantık yaklaşımında ısrar etti, ancak bu yaklaşım yapay zekanın genel zekasına ulaşmakta başarısız oldu.
• Sağduyu bilgisinin önemi: Lenat, insanların zihinsel yorgunluğa düşmemesinin nedenini devasa sağduyu bilgisi birikiminde gördü ve bunun sayesinde sonsuz biçimde yeni fikirler üretilebileceğine inanıyordu.

Sonuç

• Sembolik mantığın sınırları: Cyc'nin başarısızlığı, sembolik mantık yaklaşımının yapay zekanın genel zekasına ulaşmak için uygun olmadığını gösteriyor.

[GN⁺]

Hacker News yorumları

• "Bu, öz-farkındalığı olan bir yapay zekanın yazacağı türden bir cümle: 'Burada görülecek bir şey yok, devam et' diye düşündüm"

  • Cyc'nin faydalı bir yöne gitmediği hissine kapılmış
  • McCarthy'nin blok dünyası demosundan etkilenmiş
  • Yapay zekanın çalışacağı 'bağlamı' oluşturan kuralları resmileştirmenin önemli olduğunu düşünüyor
  • LLM'lerin ilk başarısızlık örnekleri, bağlam başarısızlığının tipik örnekleri
  • Mevcut modeller eğitim sırasında bağlama sahip olmadığından, çıktıları bağlama göre ayarlanmıyor

• "Çok ilginç ve değerli bir makale"

  • Projenin başarısız olduğunu kesin bir dille söylemenin üzücü olduğu düşünülüyor
  • Sinir ağlarının faydalı hale gelmesi 40 yıldan fazla sürdü
  • Cycorp'un bilgi tabanı genel olarak erişilebilir hale gelirse LLM eğitiminde kullanılabilir

• "İnternette açık olan opencyc sürümünü çalıştırabilirsiniz"

  • GitHub'da veri kümesi, bilgi tabanı ve çıkarım motoru bulunuyor
  • Java'nın eski bir sürümüyle yazılmış

• "AM ve EURISKO hakkında çok okumaya çalıştım ama Lenat'ın çalışması kapalıydı"

  • Başkalarının Lenat'ın çalışmasını temel alarak ilerleyememiş olması üzücü

• "Makale, Symbolic AI hakkında harika bir inceleme"

  • Geçmişte OpenCyc ile çok zaman geçirmiş ama 10 yıldır el sürmemiş
  • Symbolic AI'ın üretken geleceği muhtemelen LLM'leri kullanarak yapılandırılmamış veriden bilgi grafikleri ve sembolik ilişkiler kurmakla ilgili olacak

• "Web sitesine göre Cyc iyi gidiyor"

  • Lenat 2023'te öldü ama hâlâ 'liderlik ekibi'nin tek üyesi olarak görünüyor

• "Lenat'ın, faydalı zekâ elde etmenin anahtarının veri miktarı olduğu konusunda yön olarak haklı olduğunu düşünüyorum"

  • Cyc projesini eleştirmişti ama benzer şeyler LLM'lerde de yaşandı

• "Harika bir deneme! OP'nin bitmek bilmeyen araştırmasına teşekkürler"

• "Cyc hakkında güçlü görüşlerim yok ama bu ölüm ilanı oldukça kötü niyetli hissettiriyor"

  • Lenat'ın temel inançları ML'de de paylaşılıyor
  • ML ezici miktarda hesaplama gerektirdi

• "Geçen yılın büyük Cyc başlığı"