OpenAI 80 Yıllık Matematik Problemini Çözdü Yeni Bir Dizilim Ailesi Keşfetti
OpenAI’ın yapay zeka modeli, 1946’dan beri çözülemeyen düzlemsel birim mesafe problemiyle ilgili önemli bir keşif yaptı. Yeni bir dizilim ailesi bulan model, mevcut matematiksel teorileri çürüttü.
ChatGPT’nin geliştiricisi OpenAI, Macar matematikçi Paul Erdős’ün 1946’da ortaya attığı ‘düzlemsel birim mesafe problemi’nde önemli bir ilerleme kaydettiğini duyurdu. Şirket, yapay zeka modelinin bu alanda yeni bir dizilim ailesi keşfederek mevcut teorileri çürüttüğünü belirtti.
Erdős’ün sorusu, belirli sayıda noktayla oluşturulan düzlemde kaç nokta çiftinin birbirine aynı mesafede olabileceğini inceliyordu. Erdős, bu çiftlerin sayısını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ı matematiksel yaklaşımları birleştirerek bu varsayımın sınırlarını aşan yeni bir dizilim ailesi ortaya koydu.
Kare Izgara İnancını Çürüten Keşif
OpenAI, sosyal medya platformu X üzerinden yaptığı açıklamada, matematikçilerin uzun süredir en iyi çözümlerin kare ızgaralara benzeyeceğine inandığını belirtti. Yapay zeka modelinin bu yaygın kanıyı yıkarak çok daha verimli yeni bir dizilim ailesi keşfettiği vurgulandı.
Bu gelişme matematik camiasında heyecan yaratsa da, problemin tamamının çözülmediği ifade ediliyor. Yapay zeka, nokta çiftlerinin artış hızına dair kesin bir yanıt sunmak yerine, Erdős’ün öngördüğü üst sınırın yetersiz kaldığını kanıtladı.
ABD’de halka arz hazırlıkları yapan OpenAI, bu hesaplamaların özel bir matematik sistemi yerine, problemleri küçük adımlara bölen genel amaçlı bir mantık yürütme modeli tarafından yapıldığını açıkladı. Şirket daha önceki girişimlerinde literatürdeki bilgileri tekrarlamakla eleştirilmişti.
Ancak bu kez OpenAI’ın çalışması, eleştirmenlerden ve Erdős Problemleri web sitesini yöneten matematikçi Thomas Bloom gibi uzmanlardan doğrulama aldı. Bloom, yapay zeka sisteminin, insanların vazgeçebileceği yolları inatla takip ederek bu sonuçlara ulaştığını belirtti.
Bloom, insan faktörünün önemine de dikkat çekerek, yapay zeka tarafından üretilen kanıtın geçerli olduğunu ancak araştırmacılar ve diğer matematikçiler tarafından önemli ölçüde geliştirildiğini ekledi. İnsanların, kanıtın tartışılması, anlaşılması ve sonuçlarının araştırılmasında hayati rol oynadığını vurguladı.
Makaleye katkıda bulunan matematikçi Tim Gowers, bu sonucu ‘yapay zeka matematiğinde bir dönüm noktası’ olarak nitelendirdi. Surrey Üniversitesi’nden Andrew Rogoyski ise yapay zekanın insanlara problemlere yeni bakış açıları sunduğunu ve gelecekteki bilimsel araştırmaların temel bir aracı olacağını belirtti.
Yorum Yap