OpenAI, Macar matematikçi Paul Erdős’ün 80 yıllık düzlemsel birim mesafe varsayımını çürüten yeni bir matematiksel dizilim keşfetti.
OpenAI, Macar matematikçi Paul Erdős’ün 1946 yılında ortaya attığı “düzlemsel birim mesafe problemi”ne ilişkin yaklaşık 80 yıllık bir varsayımı çürüttüğünü duyurdu. Şirketin yapay zeka modeli, Erdős’ün önerdiği üst sınırı aşan, tamamen yeni bir dizilim ailesi keşfederek matematik dünyasında önemli bir başarıya imza attı. Bu gelişme, yapay zekanın bilimsel araştırmalardaki potansiyelini bir kez daha gözler önüne serdi.
Paul Erdős, 1946’da ortaya koyduğu problemde, bir düzlemde belirli sayıda nokta bulunduğunda kaç nokta çiftinin birbirine tamamen eşit mesafede olabileceğini sorgulamıştı. Erdős, bu tür çiftlerin sayısının, noktaların sayısından yalnızca biraz daha hızlı artacağını ileri sürmüştü. OpenAI’ın geliştirdiği yapay zeka modeli, farklı matematik dallarından faydalanarak bu varsayımın geçerli olmadığını gösterdi.
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, genel problemin henüz tam olarak çözülmediğini, ancak Erdős’ün önerdiği üst sınırın yetersiz kaldığını kanıtladı.
ABD borsasında halka arz edilmeye hazırlanan OpenAI, bu hesaplamaların matematik için özel eğitilmiş bir sistem yerine, problemleri küçük adımlara bölerek çözen genel amaçlı bir mantık yürütme modeli tarafından yapıldığını belirtti. Şirket, daha önce de benzer Erdős problemlerini çözme girişiminde bulunmuş, ancak geçen yılki iddiasının mevcut literatürdeki bilgileri kopyalamadan ibaret olduğu ortaya çıkmıştı.
OpenAI’ın son çalışması, geçmişteki iddiaları eleştiren ve Erdős problemleri web sitesini yöneten matematikçi Thomas Bloom da dahil olmak üzere uzmanlarca doğrulandı. Bloom, yapay zeka sisteminin bu sonuçlara “bir insanın keşfetmeye değmeyeceğini düşünerek vazgeçebileceği yolları inatla takip ederek” ulaştığını ifade etti.
Bloom, yapay zeka tarafından üretilen orijinal kanıtın geçerli olmasına rağmen, OpenAI’daki araştırmacılar ve makaleye katkıda bulunan diğer matematikçiler tarafından önemli ölçüde geliştirildiğini vurguladı. İnsan faktörünün, kanıtın tartışılması, sindirilmesi, iyileştirilmesi ve sonuçlarının araştırılmasında hayati bir rol oynadığını ekledi.
Makaleye katkı sunan bir diğer matematikçi Tim Gowers, bu sonucu “yapay zeka matematiğinde bir dönüm noktası” olarak nitelendirdi. Surrey Üniversitesi İnsan Merkezli Yapay Zeka Enstitüsü’nden Andrew Rogoyski ise yapay zekanın insanlara problemlere bakmak için yeni yollar sunduğunu ve gelecekteki bilimsel araştırmaların temel bir aracı haline geleceğini belirtti.
Yorum Yap