OpenAI Modeli 80 Yıllık Erdős Matematik Problemini Çözdü

Hızlı Erişim / İçindekiler

• Düzlemsel Birim Uzaklık Problemi Nedir?
• Genel Amaçlı Akıl Yürütme Modelinin Beklenmedik Metodu
• İnsan Matematikçilerin Onayı ve Ortak Çalışmanın Geleceği

Yapay zeka sistemlerinin mantıksal kapasitesi, ham veri işleme becerisinden soyut düşünce gerektiren alanlara doğru evriliyor. Bu evrimin en somut örneklerinden biri, geçtiğimiz günlerde akademik çevrelerde geniş yankı uyandırdı. OpenAI laboratuvarlarında geliştirilen dahili bir yapay zeka modeli, matematik dünyasının uzun süredir çözüme kavuşturamadığı açık problemlerden birini kendi başına yanıtlamayı başardı. Macar matematikçi Paul Erdős tarafından 1946 yılında ortaya atılan düzlemsel birim uzaklık problemi, yaklaşık seksen yıldır insan zihnini meşgul eden bir sınır çizgisine sahipti. Geliştirilen algoritma, cebirsel sayı teorisi yöntemlerini geometrik bir bilmeceye uygulayarak bugüne kadar belirlenmiş en kararlı matematiksel üst sınırı aşmayı bildi.

Düzlemsel Birim Uzaklık Problemi Nedir?

Kombinatoryal geometri alanının temel taşlarından kabul edilen bu soru, dışarıdan bakıldığında şaşırtıcı derecede sade bir mantığa dayanır. İki boyutlu düz bir düzlem üzerine belirli sayıda nokta yerleştirildiğinde, aralarındaki mesafe tam olarak bir birim olan en fazla kaç nokta çifti elde edilebilir? Paul Erdős, bu maksimum sayının nokta sayısındaki artıştan biraz daha hızlı yükseleceğini öne sürmüştü. Soru basit görünse de, noktaların kombinasyonları arttıkça olasılıklar karmaşık bir ağa dönüşür. İnsan eliyle ulaşılan en net üst sınır, 1984 yılında bilgisayar destekli olmayan matematiksel analizlerle formüle edilmişti. O tarihten bu yana kurulan tüm teorik denklemler, bu kırılması güç sınırın etrafında tıkanıp kalmıştı.

OpenAI tarafından paylaşılan teknik detaylar, yapay zekanın sadece mevcut formülleri hızlandırarak sonuca ulaşmadığını gösteriyor. Sistem, Erdős’ün öngördüğü ve kırılması imkansız gözüken o meşhur limiti geride bırakan tamamen yeni nokta dizilim kümeleri keşfetti. Bu durum, soyut matematik teorilerinde makinelerin sadece birer hesap makinesi değil, yeni hipotezler üretebilen mantık yürüteçleri haline gelebileceğine dair en net kanıtlardan birini sunuyor. Sürecin arkasındaki asıl şaşırtıcı detay ise, kullanılan akıl yürütme mimarisinin bu probleme özel olarak eğitilmemiş olmasıdır.

Genel Amaçlı Akıl Yürütme Modelinin Beklenmedik Metodu

Araştırma laboratuvarı, problemin çözümünde doğrudan matematik odaklı yapılandırılmamış, genel amaçlı bir akıl yürütme modeli kullandıklarını açıkladı. Geliştirilen sistem, insanların geometri sorularında geleneksel olarak başvurduğu çalışma teorilerini tamamen bir kenara bıraktı. Bunun yerine, cebirsel sayı teorisyenlerinin yakından bildiği fakat daha önce geometri alanına hiç uyarlanmamış kavramlar arasında köprü kurdu. Farklı disiplinlere ait bu kuralların bir geometrik sınır probleminde sonuç verebilmesi, insan akademisyenler tarafından da büyük bir şaşkınlıkla karşılandı. Doğru yönlendirme komutlarıyla tetiklenen algoritma, kimsenin tahmin etmediği bir patikadan yürüyerek sonuca ulaştı.

Cambridge Üniversitesi'nden matematik profesörü Tim Gowers, çalışmaya ilişkin değerlendirmesinde, bu makalenin bir insan tarafından yazılıp prestijli Annals of Mathematics dergisine gönderilmesi halinde hiç tereddüt etmeden kabul edilmesini önereceğini belirtti. Bugüne kadar yapay zeka tarafından üretilen hiçbir matematiksel ispatın bu olgunluğa yaklaşamadığını vurgulayan Gowers, sonucun bir dönüm noktası olduğunu ifade etti. Yine de bu gelişme, bilim dünyasında makinelerin insan zekasının yerini alacağı yönündeki eski tartışmaları ve toplumsal kaygıları yeniden alevlendirme potansiyeli taşıyor.

İnsan Matematikçilerin Onayı ve Ortak Çalışmanın Geleceği

OpenAI, geçmişte GPT-5 modelinin Erdős'ün çözülmemiş on problemini hallettiğine dair aceleci iddialarda bulunmuş, fakat bu iddialar insan uzmanların kontrolü sonrasında geri çekilmişti. Geçmişteki hatalardan ders çıkaran şirket, bu kez ürettiği saf ispatı doğrulamak adına dışarıdan bağımsız matematikçilere başvurdu. Manchester Üniversitesi bünyesinde Erdős problemlerine dair arşivleri yöneten Thomas Bloom, yapay zekanın sunduğu ham ispatın tamamen geçerli olduğunu teyit etti. Ancak Bloom, makalenin son haline gelebilmesi için insan araştırmacıların sürece müdahil olması gerektiğine dikkat çekti.

Yapay zekanın ürettiği formül, insanlar tarafından sindirildikten, tartışılarak geliştirildikten ve netleştirildikten sonra akademik standartlara kavuştu. Uzmanlar, makinelerin tek başına her şeyi çözeceği bir gelecek yerine, karmaşık teorik araştırmaların sınırlarında insan zekasını destekleyen birer asistan olarak konumlanacağını düşünüyor. Bu ortaklık modeli, soyut bilimsel araştırmaların çözüm sürelerini radikal biçimde kısaltabilir. Teknolojinin ulaştığı bu yeni seviye, gelecekte insan ve makine ortaklığıyla çözülecek diğer kadim bilmecelerin de önünü açıyor.

Kaynak: livescience.com OpenAI's internal AI model just solved an 80-year-old math problem ‪—‬ and mathematicians verified it

BilimBox Yorumu: Yapay zekanın 80 yıllık bir geometri problemini çözmesi, teknolojinin artık ezber kalıplardan sıyrılıp "sezgisel" olarak adlandırabileceğimiz bir sentez yeteneğine kavuştuğunu belgeliyor. Geometri ile cebirsel sayı teorisi gibi ilk bakışta uzak duran iki farklı disiplini aynı potada eritmesi, insan zihninin kökleşmiş uzmanlaşma sınırlarını aşan bir esneklik örneğidir. Makineleri uzun süre sadece yüksek işlem gücüne sahip veri ambarları olarak gördük; ancak bu gelişme, onların hiç bilmedikleri bir soyutlama evreninde özgün mantık yolları inşa edebileceklerini kanıtlıyor. İnsan matematikçilerin bu ispatı alıp geliştirmesi ise geleceğin bilimsel metodolojisine dair net bir ipucu veriyor: Yapay zeka ham kıvılcımı çakacak, insan ise o kıvılcımı yapılandırıp kuramsal bir meşaleye dönüştürecek. Bu ortaklık, bilimin tıkandığı pek çok teorik darboğazı düşündüğümüzden çok daha kısa sürede aşmamızı sağlayabilir.