Kurumsal bir OpenAI akıl yürütme modeli, Paul Erdős’ün 1946 tarihli ünlü bir varsayımını çürüttü; bu, yapay zekânın matematikte büyük bir açık problemi ilk kez kesin olarak sonuca bağlaması anlamına geliyor.
Öne Çıkan Noktalar:
- Bir OpenAI modeli, 80 yıldır açık olan Erdős birim uzaklık varsayımını çürüttü.
- Kanıt, cebirsel sayılar kuramına dayandı ve dış incelemeden geçti.
- Bu, yapay zekânın kendi başına çözdüğü ilk büyük açık problem.
OpenAI Erdős Varsayımını Çözüyor
Şirket, modelinin birim uzaklık problemine karşı bir örnek ürettiğini 20 Mayıs’ta duyurdu. Bu problem, çok sayıdaki nokta arasından tam olarak bir birim uzaklıkta kaç nokta çifti yer alabileceğini soruyor. On yıllar boyunca araştırmacılar, kare bir ızgarayı en iyi yerleşime en yakın düzen olarak görmüştü. Problem ifade edilmesi bakımından çok basit, ancak önde gelen matematikçilerin seksen yıllık yoğun çabasına rağmen çözülememişti.
Model ise bambaşka bir yol izleyerek, cebirsel sayılar kuramından yararlanan daha karmaşık bir desen kurdu ve bir ızgaradan daha fazla birim uzaklık içeren bir yapı elde etti; insanlar bu tür bir yapıyı ciddiyetle hiç incelememişti.
Şirket çalışmayı kamuya açıklamadan önce, dışarıdan uzmanlardan oluşan bir kurul kanıtı inceleyip doğruladı.
Princeton’dan Will Sawin, kısa süre sonra argümanı iyileştirdi. Onun versiyonu, birim uzaklıkların sayısının en az n’in 1,014’üncü kuvveti kadar hızlı arttığını gösterdi; bu, eski ızgara sınırına göre polinomik bir üstünlük sağlıyor. Üst sınır hâlâ n’in yaklaşık 1,333’üncü kuvveti civarında, dolayısıyla arada bir boşluk kalmış durumda.
Ayrıca Oku: Cardano Tops Every Major Chain In Stablecoin Growth, Up 61% In A Week
Gowers, Matematikte Bir Dönüm Noktasını Selamlıyor
Fields Madalyası sahibi Tim Gowers, çalışmayı bir dönüm noktası olarak nitelendirdi ve bundan önce hiçbir yapay zekâ kanıtının bu seviyeye yaklaşmadığını söyledi. Toronto Üniversitesi’nden Daniel Litt, bunun, sadece geleceğe işaret ettiği için değil, kendi başına gerçekten heyecan verici bulduğu ilk yapay zekâ sonucu olduğunu belirtti.
Uzmanlar özellikle izlenen yolun önemine dikkat çekti. Çoğu matematikçi yıllarını varsayımı çürütmek yerine ispatlamaya çalışarak geçirmişti ve çok azı, işe yarayacağına dair bir işaret olmadan bu kadar yorucu bir inşayı sürdürmeye razı olurdu. Bir yapay zekâ ise riski farklı tartıyor; sayısız çıkmaz sokağı deneyip, içlerinden düşük olasılıklı da olsa işleyen bir güzergâh bulabiliyor.
OpenAI’nin Çalkantılı Erdős Karnesi
Bu başarı tek başına gelmedi. Birkaç gün sonra Google, sistemlerinden birinin Erdős’ün listesindeki dokuz daha küçük problemi çözdüğünü, bunlardan ikisinin 50 yılı aşkın süredir açık olduğunu bildirdi.
Dikkatli kamuya açıklama süreci, önceki bir tökezlemenin ardından geldi. Şirket, Ekim ayında bir modelin on Erdős problemini çözdüğünü iddia etmişti; ancak daha sonra hakemler, modelin aslında yeni bir şey ispatlamak yerine sadece eski çözümleri yeniden ortaya çıkardığını gösterdi. Bu olay, şirketi bu kez dış incelemeye daha fazla ağırlık vermeye itti.
Sıradaki Haber: ETH Loses Its Last Floor And Stares Down A Drop Toward $1,800