1. Anasayfa
  2. Yapay Zeka

Bilgisayar Bilimi Öncüsü Donald Knuth Şaşkın: Çözemediği Problemi Claude Opus 4.6 Çözdü

Bilgisayar Bilimi Öncüsü Donald Knuth Şaşkın: Çözemediği Problemi Claude Opus 4.6 Çözdü
0

Bilimsel alanlardaki giderek daha fazla uzman, YZ sistemlerinin artık belirli görevlerde kendilerine yetiştiğini, hatta onları geçtiğini fark ediyor.

Bunu fark eden son isim, bilgisayar biliminin kurucu devlerinden biri kabul edilen ve çok ciltli The Art of Computer Programming serisinin yazarı Donald Knuth oldu. 28 Şubat 2026 tarihli notunda Knuth, Anthropic tarafından sadece üç hafta önce piyasaya sürülen hibrit muhakeme modeli Claude Opus 4.6‘nın, kendisinin haftalardır uğraştığı bir matematik problemini çözmesine verdiği tepkiyi anlattı.

“Şok! Şok!” diyerek notuna başlayan Knuth, bu gelişmeyi “otomatik tümdengelim ve yaratıcı problem çözmede dramatik bir ilerleme” olarak nitelendiriyor. Ayrıca, “Bugünlerde ‘üretken YZ’ hakkındaki görüşlerimi gözden geçirmem gerekecek.” diye ekliyor. YZ abartısına tarihsel olarak şüpheyle yaklaşan bir isimden gelen bu açıklama büyük bir ağırlık taşıyor.

Tüm bunların merkezindeki problem, matematiğin kombinatorik dalıyla, özellikle de yönlendirilmiş grafiklerin Hamilton döngülerine ayrıştırılmasıyla ilgili. Basitçe ifade etmek gerekirse Knuth, üç boyutlu bir nokta ızgarasında her noktayı tam olarak bir kez ziyaret eden ve her boyuttaki ızgara için tekrarlanabilir, yapılandırılmış genel bir kural bulmaya çalışıyordu.

Knuth, problemin en küçük anlamlı durumu olan 3x3x3‘lük ızgara için çözümü bulmuş ve genel versiyonunu da ünlü kitap serisinin gelecek cildinde bir alıştırma olarak sunmuştu. Meslektaşı Filip Stappers, 16x16x16‘ya kadar olan ızgaralar için çözümleri deneysel olarak doğrulamış ve genel bir çözümün muhtemelen var olduğunu göstermişti ancak kimse tüm değerler için çalışan bir yapı geliştirememişti.

Claude’un Yaklaşımı: Bir Saatte 31 Keşif

Soruyu doğrudan Claude Opus 4.6’ya sormaya karar veren Filip Stappers oldu ve sonuçlar çarpıcıydı. YZ cevabı şans eseri bulmadı. Yaklaşık bir saat süren sistematik, 31 aşamalı bir inceleme yürüttü; bu süreçte doğrusal formülleri test etti, kaba kuvvet aramaları yaptı, yeni geometrik çerçeveler geliştirdi, tavlama benzetimi yöntemini uyguladı ve sonunda ızgara boyutunun tüm tek sayı değerleri için çalışan zarif bir yapıya ulaştı.

Knuth notunda, Claude’un problemin matematiksel yapısını grup teorisindeki klasik bir kavram olan “Cayley digraph” olarak bağımsızca tanımladığını ve yaklaşımını buna göre yeniden şekillendirdiğini belirtiyor. Başka bir noktada ise YZ’nin “serpantin” adını verdiği desenin, matematikçiler tarafından modüler m-ary Gray kodu olarak bilinen klasik bir dizi olduğunu fark ediyor.

Kısa bir C programı olarak ifade edilebilen kompakt kurallar dizisinden oluşan nihai çözümün, 3’ten 101’e kadar tüm tek boyutlu ızgaralar için geçerli olduğu Filip Stappers tarafından doğrulandı.

Bazı Uyarılar ve Kısıtlamalar

Knuth, bu başarıyı dürüst bir çerçeveye oturtmaya özen gösteriyor. Claude’un çözümü için insan yönlendirmesi gerekiyordu. Filip Stappers, modele ilerlemesini belgelemesini defalarca hatırlatmak zorunda kaldı ve oturum, bazı eski arama sonuçlarının kaybolmasına neden olan hatalar yüzünden kesintiye uğradı. Ayrıca YZ, çift boyutlu durumlar karşısında duvara tosladı; problem çift boyutlu ızgaralar için tamamen açık kalmaya devam ediyor. Filip Stappers modeli bu yönde zorladığında ise Claude “takılıp kalmış” göründü.

Üstelik kesin bir matematiksel kanıtın bizzat Knuth tarafından oluşturulması gerekti. YZ yapıyı buldu fakat bunun neden çalıştığının doğrulanması ve resmileştirilmesi bir insan uzmanın elinden oldu.

Özenle Çerçevelenmiş Tarihi Bir Dönüm Noktası

Knuth’un aktardıklarını dikkate değer kılan sadece sonuç değil, bunu söyleyen kişinin kimliği. O, bir teknoloji meraklısı ya da bir YZ şirketi yöneticisi değil. Bilgisayar biliminin teorik temellerini atan ve yıllardır YZ sistemlerinin yeteneklerine karşı ölçülü bir şüpheyle yaklaşan 87 yaşındaki bir efsane.

Knuth, YZ’nin araştırmalar için faydalı bir yardımcı olduğunu fark eden tek teknoloji uzmanı değil. Linux yaratıcısı Linus Torvalds, Google Antigravity kullanarakvibe coding yapıyor ve Amerikan Matematik Derneği Başkanı, Gemini’ın kendisinin bulmaktan gurur duyacağı bir matematiksel fikir ortaya koyduğunu söylüyor. Bu sırada birçok YZ sistemi, çözülmesi zorluğuyla bilinen Erdős problemlerinin çözümüne yardımcı oluyor. Geniş YZ endüstrisi için bu olaylar, manşetleri süsleyen yarışma ve liderlik tablolarından daha gerçekçi bir referans noktası sunuyor: Dünya çapındaki uzmanlar, araştırmalarında artık YZ’yi kullanmaya başlıyor.

Kaynak: https://officechai.com/ai/programming-legend-donald-knuth-says-claude-opus-4-6-solved-an-open-problem-hed-been-working-on-for-several-weeks/
Bu Yazıya Tepkiniz Ne Oldu?
  • 2
    be_endim
    Beğendim
  • 0
    alk_l_yorum
    Alkışlıyorum
  • 0
    e_lendim
    Eğlendim
  • 0
    d_nceliyim
    Düşünceliyim
  • 0
    _rendim
    İğrendim
  • 0
    sevdim
    Sevdim
  • 0
    _ok_k_zd_m
    Çok Kızdım

E-posta adresiniz yayınlanmayacak. Gerekli alanlar * ile işaretlenmişlerdir