ABD merkezli yapay zeka firması OpenAI, ChatGPT sohbet botuyla dünya çapında bir üne sahip. Ancak firma son günlerde, bir yapay zeka modelinin 80 yıllık matematik problemini çözmesiyle adından söz ettiriyor. Firma, ilk kez 1946 yılında Macar matematikçi Paul Erdős tarafından ortaya atılan “düzlemsel birim mesafe problemi” (planar unit distance problem) adlı zorlu görevde bir dönüm noktasına ulaştığını ileri sürdü.
Erdős tarafından ortaya konan sorunun mantığı şu şekilde; bir parça kağıt alıp üzerine bazı noktalar eklerseniz, kaç nokta çifti birbiriyle aynı mesafede olabilir? Erdős, çiftlerin sayısının noktaların kendi sayısından sadece biraz daha hızlı artacağını öne sürdü. Ancak yapay zeka modeli çeşitli matematik dallarından yararlanarak farklı bir sonuca vardı. Açıklamada, Erdös’ün teorisindeki sınırı aşan tamamen yeni bir dizilim ailesi keşfedildiği, böylece teorinin çürütüldüğü iddia edildi.
X (Twitter) hesabından açıklama yapan şirket şu ifadeleri kullandı:
“Neredeyse 80 yıldır matematikçiler en iyi olası çözümlerin kabaca kare ızgaralara benzediğine inanıyordu. Bir OpenAI modeli, bundan daha iyi performans gösteren tamamen yeni bir yapı ailesi keşfederek bu inancı çürüttü.”
The Guardian’ın aktardığı bilgilere göre, çalışma matematikçileri heyecanlandırsa da yapay zeka nokta çiftlerinin ne kadar hızlı arttığına dair yeni bir yanıt bulamadı, yani problemi tam anlamıyla çözmedi. Sadece Erdős’ün önerdiği sınırın çok düşük olduğu gösterildi.
Matematikçiler teyit etti
Yapay zeka devi, hesaplamaların matematik için özel olarak eğitilmiş bir sistemle değil, problemleri daha küçük adımlara bölen genel amaçlı bir mantık yürütme modeli tarafından çözüldüğünü açıkladı. Firma, Erdős problemlerini çözmek üzere daha önce de çalışmalar yürüttü ancak şirketin daha önce yaptığı bir başarı iddiası, matematikçiler tarafından yalanlanmıştı. Sebebi ise geçtiğimiz yıl ortaya atılan başarı iddiasında, aslında problem çözülmediği, literatürdeki mevcut bilgilerin kopyalandığına yönelikti.
Yeni çalışma, Erdős problemleri web sitesini yöneten ve OpenAI’ın Erdős problemlerine yönelik önceki iddialarını eleştiren matematikçi Thomas Bloom da dahil olmak üzere matematikçiler tarafından doğrulandı. Öte yandan Bloom, insan faktörünün bu başarının yakalanmasında etkili olduğunu hatırlattı.
Kaynak: OpenAI