Yapay zekada tarihi eşik: OpenAI 80 yıllık matematik problemini çözdüğünü duyurdu
- OpenAI, geliştirdiği yapay zeka modelinin yaklaşık 80 yıldır çözülemeyen önemli bir matematik probleminde kritik bir başarı elde ettiğini açıkladı. Şirket, bu gelişmenin yapay zekanın “mantık yürütme” ve yaratıcı problem çözme yeteneklerinde yeni bir döneme işaret ettiğini savundu.
OpenAI, geliştirdiği yapay zeka modelinin yaklaşık 80 yıldır çözülemeyen önemli bir matematik probleminde kritik bir başarı elde ettiğini açıkladı. Şirket, bu gelişmenin yapay zekanın “mantık yürütme” ve yaratıcı problem çözme yeteneklerinde yeni bir döneme işaret ettiğini savundu.
Erdős’ün 1946’daki problemi yeniden gündemde
Başarı, Macar matematikçi Paul Erdős tarafından 1946 yılında ortaya atılan “düzlemsel birim mesafe problemi” üzerine geldi.
Problem, belirli sayıda noktanın bir düzleme yerleştirilmesi durumunda, aynı uzaklıkta bulunan nokta çiftlerinin maksimum sayısının ne olabileceğini sorguluyor.
Erdős, bu sayının noktaların toplam sayısından yalnızca biraz daha hızlı artacağını öne sürmüştü. Ancak OpenAI’ın modeli, farklı matematik alanlarını bir araya getirerek bu varsayımın ötesine geçen tamamen yeni bir dizilim yapısı keşfetti.
“Kare ızgara” inancı sarsıldı
OpenAI, X platformu üzerinden yaptığı açıklamada, matematik dünyasında uzun yıllardır hakim olan bir yaklaşımın kırıldığını belirtti.
Şirket açıklamasında, “Yaklaşık 80 yıldır matematikçiler en iyi çözümlerin kare ızgaralara benzediğine inanıyordu. OpenAI modeli, bundan çok daha verimli çalışan yeni bir dizilim ailesi keşfetti” ifadelerine yer verdi.
Bu gelişme, problemin tamamen çözüldüğü anlamına gelmese de Erdős’ün öne sürdüğü üst sınırın yetersiz kaldığını göstermesi açısından büyük önem taşıyor.
Matematikçiler sonucu doğruladı
OpenAI, başarının yalnızca matematik için özel geliştirilmiş bir sistemle değil, genel amaçlı bir mantık yürütme modeliyle elde edildiğini vurguladı.
Şirket daha önce de Erdős problemlerini çözdüğünü iddia etmiş, ancak geçen yılki çalışmanın mevcut literatürdeki bilgilerin yeniden üretilmesinden ibaret olduğu eleştirileri yapılmıştı.
Bu kez ise sonuçlar bağımsız matematikçiler tarafından doğrulandı. Erdős problemleri üzerine çalışan ve konuya ilişkin internet sitesini yöneten matematikçi Thomas Bloom da çalışmayı doğrulayan isimler arasında yer aldı.
Bloom, yapay zekanın sonuca “insanların çoğu zaman değmeyeceğini düşünüp vazgeçtiği yolları ısrarla deneyerek” ulaştığını söyledi.
“İnsan faktörü hala kritik”
Bloom ayrıca yapay zekanın ürettiği kanıtların insanlar tarafından ciddi şekilde geliştirildiğini belirterek, matematiksel keşif sürecinde insan katkısının hala merkezi rol oynadığını vurguladı.
Makaleye katkı sunan matematikçi Tim Gowers ise sonucu “yapay zeka matematiğinde bir dönüm noktası” olarak tanımladı.
Surrey Üniversitesi İnsan Merkezli Yapay Zeka Enstitüsü’nden Andrew Rogoyski da yapay zekanın bilimsel araştırmalarda giderek daha temel bir araç haline geldiğini belirterek, bu gelişmenin yaratıcı düşünce süreçlerinde yeni bir dönemin habercisi olduğunu söyledi.