OpenAI matematikte çığır açan bir gelişme duyurdu: Genel amaçlı yapay zeka modellerinden biri, Macar matematikçi Paul Erdős'ün yaklaşık 80 yıl önce sorduğu meşhur bir ayrık geometri sorusunu çözdü. Şirkete göre bu sonuç, matematik topluluğu tarafından bağımsız uzmanlarca onaylandı.
Söz konusu problem, düzlemdeki birim uzaklık problemi olarak biliniyor. Bu problem, aralarındaki mesafe tam olarak bir birim olacak şekilde düzenlenebilecek nokta çiftlerinin maksimum sayısını inceliyor. 20. yüzyılın ortalarından beri en verimli düzenlemelerin klasik bir kare ızgaraya yakın olacağı varsayılıyordu, ancak bunun kesin kanıtı bir türlü bulunamamıştı.
OpenAI, modelin soruna alışılmadık bir yaklaşım sergilediğini, geleneksel geometrik yöntemler yerine cebirsel sayı teorisinden yararlandığını ifade ediyor. Bunun sonucunda, önceki tahminlerden daha fazla geçerli kombinasyon ortaya koyan yeni bir nokta konfigürasyon ailesi önerdi.
Bir diğer dikkat çekici yön ise modelin matematik problemlerini çözmek için özel olarak geliştirilmemiş olması. Şirket, özel bir matematik aracı yerine genel bir muhakeme sistemi kullanıldığını vurguluyor.
Birçok bağımsız matematikçi kanıtı inceledi ve temel fikrin geçerliliğini doğruladı. Araştırmacılar, bunun yapay zekanın sadece mevcut çözümleri analiz etme hızını artırmakla kalmayıp, aynı zamanda bilimsel araştırmalara yeni yönler gösterme potansiyelini de ortaya koyan önemli bir örnek olduğunu düşünüyor. Ancak problem tam anlamıyla çözülmüş değil; sonucun sınırlarına ilişkin daha derin sorular yanıt bekliyor.
İlginçtir ki, benzer iddialar geçmişte tartışma yaratmıştı; yapay zekanın yeni çözümler üretmek yerine bilinen çözümleri bulduğu durumlar rapor edilmişti. OpenAI bu kez, sonucun dış doğrulamadan geçtiğini ve araştırma materyallerinin yayımlandığını özellikle belirtti.