OpenAI 80 Yıllık Matematik Problemini Çözdü Yeni Bir Dizilim Ailesi Keşfetti
OpenAI, 80 yıllık ‘düzlemsel birim mesafe problemi’nde yeni bir dizilim ailesi keşfederek Paul Erdős’ün varsayımını çürüttü. Gelişme, matematikçiler tarafından doğrulandı.
Yapay zeka şirketi OpenAI, Macar matematikçi Paul Erdős tarafından 1946’da ortaya atılan ‘düzlemsel birim mesafe problemi’nde önemli bir ilerleme kaydettiğini duyurdu. Şirket, ‘ChatGPT’nin arkasındaki isim’ olarak biliniyor ve bu gelişme, neredeyse 80 yıldır çözülemeyen bir matematiksel soruna dair yeni bir bakış açısı sunuyor.
Kare Izgara Ezberi Bozuldu
Erdős’ün problemi, belirli sayıda noktayla düzlemde oluşturulabilecek farklı mesafelerin sayısını sınırlıyordu. Erdős, bu sayıların nokta sayısından yalnızca biraz daha hızlı artacağını öne sürmüştü. OpenAI’ın genel amaçlı mantık yürütme modeli, farklı matematik dallarından yararlanarak bu varsayımı çürüten yeni bir dizilim ailesi keşfetti.
OpenAI, sosyal medya platformu X üzerinden yaptığı açıklamada, ‘Neredeyse 80 yıldır matematikçiler en iyi olası çözümlerin kabaca kare ızgaralara benzediğine inanıyordu. Bir OpenAI modeli, bu inancı çürüterek çok daha iyi performans gösteren tamamen yeni bir dizilim ailesi keşfetti’ ifadelerini kullandı.
Bu gelişme matematik dünyasında heyecan yaratsa da, genel problem tam olarak çözülmüş sayılmıyor. Yapay zeka, nokta çiftlerinin artış hızına dair kesin bir yanıt bulmak yerine, Erdős’ün önerdiği üst sınırın yetersiz kaldığını gösterdi.
Matematikçilerden Doğrulama Geldi
Halka arz hazırlığındaki OpenAI, bu hesaplamaların özel bir sistem yerine genel amaçlı bir mantık yürütme modeli tarafından yapıldığını belirtti. Şirketin geçen yılki benzer bir iddiası, modelin literatürdeki bilgileri kopyalamasıyla sınırlı kalmıştı.
Ancak bu kez OpenAI’ın çalışması, geçmişteki iddiaları eleştiren ve Erdős Problemleri web sitesini yöneten matematikçi Thomas Bloom gibi uzmanlarca doğrulandı. Bloom, yapay zeka sisteminin sonuçlara ‘bir insanın keşfetmeye değmez bulabileceği yolları inatla takip ederek’ ulaştığını belirtti.
Bloom, sürecin insan faktörü açısından önemini vurgulayarak, ‘Yapay zeka tarafından üretilen orijinal kanıt tamamen geçerli olsa da, OpenAI’daki araştırmacılar ve makaleye katkıda bulunan diğer birçok matematikçi tarafından önemli ölçüde geliştirildi. İnsan, bu kanıtın tartışılması, sindirilmesi, iyileştirilmesi ve sonuçlarının araştırılmasında hala hayati bir rol oynamaktadır’ dedi.
Makaleye katkı sunan Tim Gowers, sonucu ‘yapay zeka matematiğinde bir dönüm noktası’ olarak nitelendirdi. Surrey Üniversitesi’nden Andrew Rogoyski ise duyurunun, yapay zekanın problemlere yeni bakış açıları sunduğunu ve gelecekteki bilimsel araştırmaların temel aracı olacağını gösterdiğini ekledi.
Yorum Yap